Do I build my language's IO model on top of monads, or on top of algebraic effects?
Conversation
Monads feel more structurally tangible, algebraic effects feel more expressive/composable...
1
Replying to
They feel less arbitrary. Algebraic effects feel made up, then justified ad-hoc within a type system, whereas monads feel like they're a more fundamental emergent property of a type system. Just a vibe I have though.
1
Yeah I understand that vibe. Perhaps it is because lots of the user-facing stuff is happening in the surface language? I dunno.
1
1
Show replies