|
|
|
|
|
|
by tome
16 days ago
|
|
|
> 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. |
|
|