这种要如何转换成Time类型,比如17转化为17:00:00
DolphinDB中的时间类型内部是用一个整型表示的。因此直接生成相应的整数,然后转化成相应的时间类型最为高效。
a = 17 15
second(a * 3600)
参考下面脚本
a = string(a) + "0000"
temporalParse(a,"HHmmss");