3 ms·
> Delimited continuations can be used to implement algebraic effects, which is exciting for functional programming. How-so? I thought the type system was the
by mrkeen 6y ago
> Delimited continuations can be used to implement algebraic effects, which is exciting for functional programming.
How-so? I thought the type system was the precluding factor for algebraic effects, not the threading model.
- cultus 6y agoYou won't be able to type them in Java, at least not now; however it would allow new JVM languages to do it. You could also do fibers on the JVM before, but they didn't have access to the actual JVM stack. That kind of limits their usefulness and performance.