Re:Algebraic Effects for the Rest of Us
by tome on Sunday May 31, 2026 @05:56AM
(#48344375)
> Example 2.3 in the paper states that IO is an algebraic effect
Oh, I meant what Haskell calls `IO`, which includes the ability to launch threads, use delimited continuation primops, abort the program, communicate with the FFI, and all sorts of other things that I would guess don't have an algebraic presentation.
Oh, I meant what Haskell calls `IO`, which includes the ability to launch threads, use delimited continuation primops, abort the program, communicate with the FFI, and all sorts of other things that I would guess don't have an algebraic presentation.