Balloons: a new state management framework bridging cats-effect and laminar

I was going to write a blog post about this, but then I realized that it would be better if I wrote documentation and linked to it.

https://algebraicjulia.github.io/Semagrams.jl/dev/docs.html

The main new content is at the end; the first section just gives context.

1 Like

I think that this is the same thing as https://arxiv.org/pdf/2304.14950.pdf.

That is, a balloon is an element of \mathfrak{c}_{[\mathtt{Msg}\,y, \mathtt{State}\,y]}.