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.

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

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