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_lang...