effekt-lang / effekt

A research language with effect handlers and lightweight effect polymorphism

Home Page:https://effekt-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Ξ 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 :)

Installation

You need to have Java (>= 11) and Node (>= 12) and npm installed.

The recommended way of installing Effekt is by running:

npm install -g https://github.com/effekt-lang/effekt/releases/latest/download/effekt.tgz

Alternatively, you can download the effekt.tgz file from another release and then run

npm install -g effekt.tgz

This will make the effekt command globally available. You can start the Effekt REPL by entering:

> effekt

You can find more information about the Effekt language and how to use it on the website (https://effekt-lang.org).

About

A research language with effect handlers and lightweight effect polymorphism

https://effekt-lang.org

License:MIT License


Languages

Language:Scala 90.9%Language:Scheme 5.4%Language:LLVM 1.6%Language:JavaScript 1.2%Language:C 0.7%Language:Standard ML 0.1%Language:Shell 0.0%