如何获取当前时间?
How to get the current time?
我查看了标准 ML 的 TIME signature 并尝试了以下方法:
- Time.now;
val it = fn : unit -> Time.time
所以它给了我一个函数 - 我如何在标准 ML 中获取当前时间?
这是一个 returns 当前时间的函数。即,做 Time.now ()
.
它不给你返回一个函数,它是一个函数。
尝试一些其他功能,输出非常相似:
- List.hd;
val it = fn : 'a list -> 'a
- String.str;
val it = fn : char -> string
Time.now
是从 unit
到 Time.time
的函数。
unit
类型的唯一值写成()
(也叫"unit"),所以你这样称呼它:
- Time.now ();
val it = TIME {usec=1516525299967615} : Time.time
我查看了标准 ML 的 TIME signature 并尝试了以下方法:
- Time.now;
val it = fn : unit -> Time.time
所以它给了我一个函数 - 我如何在标准 ML 中获取当前时间?
这是一个 returns 当前时间的函数。即,做 Time.now ()
.
它不给你返回一个函数,它是一个函数。
尝试一些其他功能,输出非常相似:
- List.hd;
val it = fn : 'a list -> 'a
- String.str;
val it = fn : char -> string
Time.now
是从 unit
到 Time.time
的函数。
unit
类型的唯一值写成()
(也叫"unit"),所以你这样称呼它:
- Time.now ();
val it = TIME {usec=1516525299967615} : Time.time