https://github.com/effekt-lang/effekt
A language with lexical effect handlers and lightweight effect polymorphism
https://github.com/effekt-lang/effekt
algebraic-effects control-flow delimited-continuation effect-handlers effect-systems effects effekt effekt-lang handlers language language-design lexical-effect-handlers research-project
Last synced: 2 days ago
JSON representation
A language with lexical effect handlers and lightweight effect polymorphism
- Host: GitHub
- URL: https://github.com/effekt-lang/effekt
- Owner: effekt-lang
- License: mit
- Created: 2020-03-05T15:49:21.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2025-04-09T14:20:41.000Z (5 days ago)
- Last Synced: 2025-04-09T15:33:13.695Z (5 days ago)
- Topics: algebraic-effects, control-flow, delimited-continuation, effect-handlers, effect-systems, effects, effekt, effekt-lang, handlers, language, language-design, lexical-effect-handlers, research-project
- Language: Scala
- Homepage: https://effekt-lang.org
- Size: 20.2 MB
- Stars: 351
- Watchers: 12
- Forks: 35
- Open Issues: 187
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-programming-languages - Effekt - A research language with effect handlers and lightweight effect polymorphism. (Uncategorized / Uncategorized)
- awesome-list - effekt - lang | 68 | (Scala)
README
# Ξ 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](https://github.com/effekt-lang/effekt/tree/master/examples/casestudies) and the [language tour](https://effekt-lang.org/tour).
## Installation
Please navigate to the [getting-started guide](https://effekt-lang.org/docs) on our [website](https://effekt-lang.org) 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](https://effekt-lang.org/contributing.html) on the [website](https://effekt-lang.org).