This reminds me of a take on reactive programming for the browser but avoiding any runtime JS I saw on HN, I think, years ago: you defined a total language, and

This reminds me of a take on reactive programming for the browser but avoiding any runtime JS I saw on HN, I think, years ago: you defined a total language, and just compiled all possible control-flows into the page using tricks like this.