3 ms·
More general than the toss keyword even. If you're interested in concrete examples, you might have a look at the koka documentation
by ctenb 2y ago
More general than the toss keyword even. If you're interested in concrete examples, you might have a look at the koka documentation
- throw156754228 2y agoAs mentioned in another comment here, the unwind is expensive. That is, searching back through the stack finding the original call site that triggered the exception. How do algebraic effects handle that performance hit?