Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Sounds a lot like Lucid?

https://en.wikipedia.org/wiki/Lucid_(programming_language)

They don't use x', but rather fby x, but otherwise the ideas seem very similar.

Of course, they called it dataflow, and Lucid inspired the "synchronous dataflow" languages like Esterel (imperative) and Lustre (functional). Which in turn inspired the non Conal Elliott variants of "FRP".

It's all related...



Author here. Yep, it's all related. My hope is that temporal programming can provide both a simple practical framework (in the form of MetroC and whatever else spins off of it) and a simple theoretical framework for future research into time-centric programming languages.




Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: