Open gavinking opened 9 years ago
It can't be system.sleep()
because it's not making the system sleep. It would have to be process.sleep()
. But even then it's semantics on JVM are to make the current thread sleep which isn't quite the same thing. So I'm wondering how you'd specify this.
And how would you implement this on JS?
And how would you implement this on JS?
Ah, sorry, you're right, I was thinking of using setTimeout()
but that doesn't quite work. It would have to be implemented using a loop. Hrm.
I think we should have a
sleep()
function in the language module. This can be implemented in both JS and Java, right?