Eff (programming language)

Eff
Paradigms	Multi-paradigm: functional, imperative
Family	ML: Caml: OCaml
Designed by	Andrej Bauer, Matija Pretnar
First appeared	March 5, 2012; 12 years ago
Stable release	5.1 / October 19, 2021; 3 years ago
Implementation language	OCaml
Platform	x86-64
OS	Cross-platform: macOS, Linux, Windows
License	BSD 2-clause
Website	www.eff-lang.org
Influenced by
	OCaml

Eff is a general-purpose, high-level, multi-paradigm, functional programming language similar in syntax to OCaml which integrates the functions of algebraic effect handlers.^[1]^[2]

Example

effect Get_next : (unit -> unit) option
effect Add_to_queue : (unit -> unit) -> unit

let queue initial = handler
  | effect Get_next k ->
    ( fun queue -> match queue with
        | [] -> (continue k None) []
        | hd::tl -> (continue k (Some hd)) tl )
  | effect (Add_to_queue y) k -> ( fun queue -> (continue k ()) (queue @ [y]))
  | x -> ( fun _ -> x)
  | finally x -> x initial
;;

References

^ "Eff Programming Language". Eff-lang.org. Retrieved 2019-11-18.
^ Bauer, Andrej; Pretnar, Matija (March 2012). Programming with Algebraic Effects and Handlers (PDF) (Report). Department of Mathematics and Physics, University of Ljubljana, Slovenia.

External links

Official website
Eff on GitHub

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

[1] "Eff Programming Language". Eff-lang.org. Retrieved 2019-11-18.

[2] Bauer, Andrej; Pretnar, Matija (March 2012). Programming with Algebraic Effects and Handlers (PDF) (Report). Department of Mathematics and Physics, University of Ljubljana, Slovenia.

[1]

[2]