[pure-lang-users] system time

[Libor S. <li...@gm...>]

With these new facilities, I would like to implement in pure a finer-grained timing than the global stats currently provides.
The natural name for it would be "time", aka the unix command line "time", which would excecute and time its argument:
(time somethingtorun), and return (msecs, somethingreturned). This will allow timing comparisons scripts to be defined,
instead of typing them manually to the interpreter. The problem is that this name would conflict with the new "time" in system.

Two questions:

1) Do you think this could be useful (in addition to the existing global "stats")
2) if so, can you suggest suitable names for it, or rename "time" in system?

Cheers, Libor

On Sun, 06 Jul 2008 02:24:23 +0100, Albert Graef <Dr....@t-...> wrote:

> When calling C it's probably better to read those manpages every once in
> a while. ;-) (You can even do so from the interpreter, with the help
> command.)

That is cool! 

> So I guess that all the doomsday prophets are up in arms already?

It has been said that: "prediction is difficult, especially with regard to the future" :)