Check out Koka, a “legit” language with an algebraic effect system. https://koka-lang.github.io/koka/doc/book.html#why-handlers https://koka-lang.github.io/kok

Check out Koka, a “legit” language with an algebraic effect system. https://koka-lang.github.io/koka/doc/book.html#why-handlers https://koka-lang.github.io/koka/doc/book.html#why-handlers