effekt-lang / effekt

A language with lexical effect handlers and lightweight effect polymorphism
https://effekt-lang.org
MIT License
334 stars 24 forks source link
algebraic-effects control-flow delimited-continuation effect-handlers effect-systems effects effekt effekt-lang handlers language language-design lexical-effect-handlers research-project

Ξ Effekt

Compared to other languages with effect handlers (and support for polymorphic effects) the Effekt language aims to be significantly more lightweight in its concepts.

Disclaimer: Use at your own risk

Effekt is a research-level language. We are actively working on it and the language (and everything else) is very likely to change.

Also, Effekt comes with no warranty and there are (probably) many bugs -- If this does not discourage you, feel free to play with it and give us your feedback :)

Examples

If you are looking for examples of the Effekt language, we invite you to look at the casestudies and the language tour.

Installation

Please navigate to the getting-started guide on our website for detailed instructions of how to install Effekt.

Contributing

Thanks for considering to contribute to the Effekt compiler! For setting up your local environment, please check out our contributing guide on the website.