But what I would like to bring to your attention with this comment is that suspend is not a replacement for IO but all monads and foldable (see SequenceBuilder in the std lib) and can support interleaved transformer binding at all layers of the transformers
This is very interesting to me. Can you provide further resources?
This great discussion about them in Kotlin gist.github.com/elizarov/5bbbe5a3b...
( we got passed the multiprompt issue thanks to Jannis but have not had time to update the combo)
This is very interesting to me. Can you provide further resources?
schoolofhaskell.com/school/to-infi...
blog.poisson.chat/posts/2019-10-26...
gallium.inria.fr/~scherer/research...
And check out the multiple impls of ContT. Here goes one in swift:
gist.github.com/sjoerdvisscher/a56...
This great discussion about them in Kotlin gist.github.com/elizarov/5bbbe5a3b...
( we got passed the multiprompt issue thanks to Jannis but have not had time to update the combo)
Hope this helps.
Thanks for taking the time. Kotlin seems to be very interesting in the sense of a different approach to FP than Haskell.