如何在 Rascal 中获取当前时间（以毫秒为单位）
How to get current time in milliseconds in Rascal
我想在 Rascal 中调试一个慢的函数，找出它慢的原因。为此，我想在某些位置以毫秒为单位保存系统时间，以便我可以测量代码的某些部分所花费的时间。
我看过 DateTime 模块 (http://tutor.rascal-mpl.org/Rascal/Expressions/Values/DateTime/DateTime.html)，但用这种方法计算时差似乎并不容易。
有没有更好的方法？
rascal 中有一个内置分析器，可以进行函数和语句级别的分析。您可以在 repl.
中使用 :set profiling true 启用它
如果你想做基准测试，看看util:;Benchmark
我想在 Rascal 中调试一个慢的函数，找出它慢的原因。为此，我想在某些位置以毫秒为单位保存系统时间，以便我可以测量代码的某些部分所花费的时间。
我看过 DateTime 模块 (http://tutor.rascal-mpl.org/Rascal/Expressions/Values/DateTime/DateTime.html)，但用这种方法计算时差似乎并不容易。 有没有更好的方法？
rascal 中有一个内置分析器，可以进行函数和语句级别的分析。您可以在 repl.
中使用:set profiling true 启用它
如果你想做基准测试，看看util:;Benchmark