Skip to Content.
Sympa Menu

k-user - Re: [K-user] K Time

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] K Time


Chronological Thread 
  • From: Omar Duhaiby <3omarz AT gmail.com>
  • To: traian.serbanuta AT gmail.com
  • Cc: k-user AT cs.uiuc.edu, "Musab A. AlTurki" <musab AT kfupm.edu.sa>
  • Subject: Re: [K-user] K Time
  • Date: Thu, 9 Oct 2014 14:41:21 +0300
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
  • List-id: <k-user.cs.uiuc.edu>

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





Archive powered by MHonArc 2.6.16.

Top of Page