search

effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism
https://effekt-lang.org
MIT License
335 stars 24 forks source link

Make control an explicit capability to overload the traversal #528

Closed b-studios closed 3 months ago

jiribenes commented 4 months ago

If you get the time, could you also add a basic boundary handler for Control as per the discussion in https://github.com/effekt-lang/effekt/issues/404#issuecomment-2194555200? (so that we can express an early exit from a function in examples without the need for a return)