Effekt - Programming language

home terminal edit

Effekt is a programming language created in 2020 by Jonathan Immanuel Brachthäuser.

#1039on PLDB

4Years Old

Download source code:

git clone https://github.com/effekt-lang/effekt

Homepage · REPL · Source Code

A language with lexical effect handlers and lightweight effect polymorphism.

Tags: programming language
Effekt is developed on GitHub and has 310 stars
Early development of Effekt happened in Universität Tübingen
Effekt is written in Scala

Example from the web:

def eager[R] { p: R / { Flip, Fail, Error } } = try {
  Success(p())
} with Flip { () =>
  resume(true) match {
    case Failure(msg) => resume(false)
    case Success(res) => Success(res)
    case ParseError(msg) => ParseError(msg)
  }
} with Fail { (msg) => Failure(msg)
} with Error { (msg) => ParseError(msg) }