Hi James,
On 20 Oct 2017, at 00:15, James Koppel <jkoppel_at_mit.edu> wrote:
> How do time Curry programs? I'm looking through the KiCS2 =
documentation, and I can't find any way to get the current system time =
(ifI want to time it internally), nor accept a command-line argument (if =
I want to use the time command).
if you’re using the REPL, you can set the timing option with =
“:set +timeâ€. In the case, you want to execute just one =
specific function, you can use the combination of `:load`, `:eval` and =
`:quit` as suggested in the manual.
> kics2 :load Module.curry :set +time :eval main :quit
However, because of some formatting options, AFAIK, only ubuntu systems =
are supported — at least it does not work for MacOS. As an =
alternative, you can generate an executable and then use your preferred =
timing command.
> kics2 :load Module.curry :save :quit
> time .curry/kics2/Main
> I want to do this because, I have a new approach to implementing =
direct-style nondeterminism in imperative languages, and I'd like to =
compare to the "built-in" nondeterminism of Curry.
I’d be interested to hear about your results ; )
Cheers
Sandra
_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Fr Okt 20 2017 - 09:56:01 CEST