3 ms·
Yes there are. Glitch is an approximation to Backus's "Applicative State Transition Systems". see:Backus:"Can programming be liberated from the von Neumann sty
by doxydexydroxide 12y ago
Yes there are.
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.
- seanmcdirmid 12y agoNot 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.
- dllthomas 12y agoOnly skimmed, but it sounds like it's in a conceptual space near STM and lvish?