|
|
|
|
|
|
by noelwelsh
20 days ago
|
|
|
> OK, and in the general case a handler allows its body to "perform" an action... Yes, although not all systems allow this, as implementing full continuations is involved and can hurt performance. > Would you say this is not possible in an untyped language then? You can definitely implement the ideas of algebraic effects in an untyped language, but you lose one of the benefits. > I don't understand the distinction here Monadic code is code where the order of evaluation is specified by bind / flatMap. Direct-style just uses the language's built-in control flow. See https://noelwelsh.com/posts/direct-style/ for more |
|
|