Algebraic Effects for the Rest of Us

Re:Algebraic Effects for the Rest of Us by matt_kantor on Saturday May 30, 2026 @08:32AM (#48335496)

I'm no expert, but perhaps https://arxiv.org/abs/2302.01415 (especially section 2.2, "Non-Algebraic Effects") will help.

[ Parent | on HN ]

Re:Algebraic Effects for the Rest of Us by tome on Saturday May 30, 2026 @08:45AM (#48335577)

Thanks. It says

> Algebraic eﬀects & handlers use a free monad and an interpreter to separate the syntax of eﬀects from their semantics

I'm pretty sure not everybody who works with algebraic effects would say they have to be based on a free monad, so I'm skeptical how definitive this definition is.

[ Parent | on HN ]