Hi Dale,
thanks for asking — we are not proposing any “timer” or scheduler APIs in this pitch.
For what it’s worth you are able to use dispatch and/or NIO and their usual “execute after 10 seconds” or similar mechanisms. The proposals here do not touch the notion of time at all.
We may get to such APIs in the future, but it is not in the scope of this nor any currently “upcoming” proposals. The idea is that it is good enough to detach and use existing timer APIs for now.
—-
Speculation mode on: I don’t think such timer API would be the runDetached itself, but rather there would be some new Timer API that would offer the scheduling capabilities you’re asking for.
“You can already do this”-mode on: Technically we have an “async delay/sleep” as well already... you could runDetached { await Task.sleep(...); doThing() } and this will be pretty efficient actually
The sleep API, as anything talking about time is very limited right now and is definitely future work to talk about time in terms of Deadline and TimeAmount etc... We are not going o do this in this proposal though.