如何以毫秒或纳秒为单位获取当前系统时间？

Question

Unix.time()返回秒数。

如何以ms或ns获得时间？

由于

Answer 1

尝试Unix.gettimeofday

# Unix.time ();;
- : float = 1447865942.
# Unix.gettimeofday();;
- : float = 1447865947.56802297

Answer 2

Core具有非常强大的时间相关功能，自112.06.00起，有一个Time_ns模块。

utop # Time_ns.now();;
- : Time_ns.t = 2015-11-18 14:49:08.580109-05:00