Do I build my language's IO model on top of monads, or on top of algebraic effects?
Conversation
Personally a big fan of algebraic effects from a usability perspective. They also seem great for asynchronous scheduling. From what I've seen it can be tricky to compile them, however.
1
1
Can you recommend a good paper about them btw?
2
1
I highly recommend the Koka paper
1
Which one? Do you mean “Koka: Programming with Row Polymorphic Effect Types” arxiv.org/abs/1406.2061 (found via github.com/koka-lang/koka)?