Journal entry for March 13, 2023

I started working on an implementation of Reflex-like FRP in Haskell. I’ve long wondered how it all works and not understanding the internals has held me back from understanding what goes wrong when my mad experiments fail. I’m taking this as an opportunity to learn about haskell.nix as well.

Things I’d like to explore with this implementation:

• A Now monad which has

      occurs :: Event t a -> Now (Maybe a)
  

• Experiment with first-class timelines. (Needs keeping the flexibility of Reflex’ parameterized types.)
• Maybe focus on commutative-first operations? I’ve long thought that sequential-first over commutative-first is a mistake in library design, and Haskell suffers from it. (Another way to see this is “sets over lists”.)