Are there any practical systems that are usable today that implement "managed time"? (I haven't read the paper yet(!), but I just thought I'd ask to shorten the turnaround time.)
Btw, are you familiar with David Barbour's Reactive Demand Programming and if so, what are your thoughts on it?
Glitch is an approximation to Backus's "Applicative State Transition Systems".
see:Backus:"Can programming be liberated from the von Neumann style?"
www.thocp.net/biographies/papers/backus_turingaward_lecture.pdf
Since 1980, I have applied ASTS in the development of Hard Real Time Avionics Systems Software for Military & Commercial Aircraft and Spacecraft.
I have licensed this code exclusively to Aerospace companies over the years.
It has proven its value in the development of verifiable software.
For reasons that Backus states, the approach is not easy to comprehend nor apply, and requires very specialized tools (data flow debugger & proof system).
The tool is known as "Synthesis" in the Aerospace Industry.
Not really. What Backus is advocating is applicative-style programming (what we know as FP today); what Glitch is advocating is anything but! Some of the code looks similar (indeed, we are inspired by FRP and earlier reactive languages like Esterel), but Glitch keeps everything in the world of explicit control flow rather than bury everything in data flow.
Btw, are you familiar with David Barbour's Reactive Demand Programming and if so, what are your thoughts on it?