Balloons: a new state management framework bridging cats-effect and laminar
Owen Lynch
Fri Oct 20 2023
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.
Owen Lynch
Fri Oct 20 2023
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]}.