Shadowgraph

2,440commits

23contributors

10languages

Tech stack & purpose

Eff is a functional programming language based on algebraic effects and their handlers, designed to provide a pure functional setting with support for computational effects like state, I/O, and exceptions. The language uses OCaml syntax extended with constructs for effects and handlers, includes static typing with parametric polymorphism and type inference, and allows programmers to define new computational effects and combine existing ones. Eff is built with OCaml, Js_of_ocaml, Menhir, and OCamlFormat, and was created by Andrej Bauer and Matija Pretnar. The project includes editor support for Emacs and Textmate, a comprehensive test suite using cram tests, and examples derived from the authors' paper on algebraic effects and handlers.