K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

Hi Omar,

This would be great!  Like Traian suggested, why don't you open an issue on github and then try to do it yourself.  Feel free to ask Traian, Dwight, Yilong (all CCed) and myself questions if you have any (but let us now use the k-user list to continue the discussion on this topic).

Thank you,

Grigore

 

 

---

From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of Omar Duhaiby [3omarz AT gmail.com]
Sent: Thursday, October 09, 2014 6:41 AM
To: traian.serbanuta AT gmail.com
Cc: k-user AT cs.uiuc.edu; Musab A. AlTurki
Subject: Re: [K-user] K Time

I would love to implement it but I don't even know where to start.

How about waiting? Can execution wait or sleep for a certain time?

On Oct 9, 2014 1:13 PM, "Traian Florin Şerbănuţă" <traian.serbanuta AT fmi.unibuc.ro> wrote:

I don't think it has;  but it should be fairly easy to add something like that.

one way to do it would be to have a special stream, similar to input and output which whenever something is requested from it would return the current time.

You can either open an issue for that on the github page (and if enough people care about it it might become a priority to the dev. team), or if you want it bad and quick, you can try implementing it yourself and submitting a pull request.

best wishes,

Traian

2014-10-09 8:49 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:

Hello,

Does K have a built-in function that returns the current time?

Thank you

Omar Alzuhaibi

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user