Journal entry for

I’ve been working on my distributed FRP/denotative distributed programming paper off-and-on, which been refocusing it to contain a comparison of message passing style and denotative distributed programming. I’m not sure if that’s a good path so I think I should collaborate with a professor to see if it’s a good idea.

Another problem is that I don’t have a working implementation right now. I think I a pure implementation which is parameterized over the communication graph would work without any problems with recursive dependencies. For the effectful implementation I could write a simulator instead of an actual distributed one, so that I can do things like “send” closures. This might make the implementation much simpler?

The other option is one I tried before where you have to have a restricted sample which only works on serializable values. This latter option would be nice because I could then actually run apps I wrote for myself.

Programming Local-First Workshop 2023

Some talks that look interesting: - [PLF23] MVC, MVCC and Causal Trees - YouTube