Re: Any chance gettimeofday() or other millis- or even nanos-precision time function stays in the default Gawk distribution?

[Denis Shirokov]

>
> for a years of programming in gawk, I've noticed a strange thing about it:
>> the gawk-team has no idea what it's like to write in gawk. trust your fans
>> that "cutting" features is always speaks badly of whoever does it. I'm even
>> afraid to imagine why you "disliked" such an extension as gettimeoftheday()
>> but please believe those who use your programming language - we know better
>> than you (I mean gawk-team) what is needed and what is not needed in gawk.
>> remove gettimeoftheday() ? this means again returning to a complete
>> nightmare where the minimum recognizable length of time will be a second.
>> It's a horror that you're want to forget. i'm sorry but this sounds like
>> ... negliable
>>
>