Journal entry for June 7, 2023

I’m wondering if it’s possible to go from an FRP implementation in which accidental space leaks are possible by keeping a reference to an Event, to one in which that is not. In the former an Event is really just a list of occurrences/futures. In the latter you have a Now monad which ensures programs can only observe occurrences after “now”.

My first thought was that you’d wrap every Event in a Behavior to make a new Event type (this behavior being equivalent to the Now data type). This behaviour would automatically keep popping occurrences of the list-based event.

Then… the runtime has to unwrap the Now mechanically? I’m not sure any of this is making sense.