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: about 2 months 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 (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2024-10-29T11:27:36.000Z (2 months ago)
• Last Synced: 2024-10-29T12:10:23.656Z (2 months 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: 9.7 MB
• Stars: 327
• Watchers: 11
• Forks: 23
• Open Issues: 135
• 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/getting-started#installing-effekt) 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).