2026-05-11 12:52 UTC
Saying that algebraic effects are an alternative to monads is a bit like saying group presentations are an alternative to groups
Replies (3)
-
@zyang@mathstodon.xyz 2026-05-11 13:19
@maxsnew@types.pl there is one person to blame who popularised monads as a user-facing programming construct, which has resulted in the unfortunate reputation of Haskell as an esoteric mathematical programming language, among some other unfortunate consequences...
-
@ohad@mathstodon.xyz 2026-05-11 13:24
@maxsnew@types.pl when Gordon presents it, he says it's a refinement of Moggi's theory of monads for computation effects.
-
@OscarCunningham@mathstodon.xyz 2026-05-11 17:14
@maxsnew@types.pl I take it you've seen "Group Theory for Homotopy Theorists"? https://www.uni-muenster.de/IVV5WS/WebHop/user/nikolaus/Papers/Group%20theory.pdf