Re: [RFC] `time' builtin

[Jose E. Marchesi]

>> So we need a `time' builtin function to get the time :)
>> 
>> The main motivation is to build seeds for the already existing `rand':
>> 
>>   fun rand = (uint<32> seed = 0) int<32>:
>> 
>> Now the question is: what would be a good prototype for `time'?  What
>> should it return?  We could:
>> 
>> a) Make it return seconds since the Epoch, or
>> b) something more elaborated and precise like a struct tm.
>> 
>> Note that we already have a `ptime' function in the standard library
>> that gives a date in seconds since the Epoch prints a human-readable
>> version of it:
>> 
>>   fun ptime = (uint<64> seconds) void:
>> 
>> So maybe a) is more than enough... thoughts?
>> 
>
> I think `struct timespec` is a better option, because
>   1) it only has two fields (one for seconds and one for nanoseconds)
>   2) Using the nanoseconds part is also useful for seeding the `rand`.
>      (Disclaimer: I'm not an expert in pseudo-random number generators)
>
>
> ```poke
> type timespec = struct
>   {
>     uint<64> sec;
>     uint<64> nsec;
>   };
> ```

Sounds good.  We can call the builtin gettime.
Thanks for the feedback!