Effekt: Lightweight Effect Polymorphism for Handlers (2020) [pdf]

Effekt is a language designed to bridge the gap between research languages with effect handlers and languages for working programmers. It simplifies the treatment of effect polymorphism and the related issues of effect parametricity and effect encapsulation. The language separates functions from values and treats all functions as second-class. [summary] [comments]

Source link