3 ms·
There is a class of programming languages or execution environments that the name escapes me at the moment, where the "time" variable/dimension is explicitly wo
by girvo 5y ago
There is a class of programming languages or execution environments that the name escapes me at the moment, where the "time" variable/dimension is explicitly woven into it as a first-class (and _really_ first class, it drives the rest of the system) element.
But I cannot remember what it is, and I'm likely explaining it badly. It had some neat algorithmic or type-level properties too, I believe, and I remember seeing it in context to modelling truly real-time systems.
Does anyone know what I'm talking about? Or is my memory finally deciding to make things up, whole-cloth!
Edit; found it with the help of the commenters below!
https://en.m.wikipedia.org/wiki/Synchronous_programming_language https://en.m.wikipedia.org/wiki/Synchronous_programming_lang...
- Shoop 5y agoFunctional reactive programming?
- girvo 5y agoNot quite but was close enough to get me on the right path! https://en.m.wikipedia.org/wiki/Synchronous_programming_language https://en.m.wikipedia.org/wiki/Synchronous_programming_lang... Synchronous programming was the term I was thinking of: the concept of logical ticks being first-class in the programming language itself is what SleepSort reminded me of :)
- garmaine 5y agoHard real-time operating systems?
- dls2016 5y agoErlang?
- sabalaba 5y agohttp://chuck.stanford.edu/ http://chuck.stanford.edu/ Another interesting one is Chuck, a strongly-timed language. :) Useful for making musical programs.
- girvo 5y agoOkay that looks super interesting, I know what new thing I’m going to fiddle with while my girlfriend grumbles that I’m not paying attention to whatever we’re supposed to be watching this week ;)
- tomc1985 5y agoFlash could be described that way
- joshu 5y agoIn one sense, Verilog