Movatterモバイル変換

[0]ホーム
URL:

Jump to content
WikipediaThe Free Encyclopedia
Search

Eff (programming language)

From Wikipedia, the free encyclopedia
Functional programming language
This article has multiple issues. Please helpimprove it or discuss these issues on thetalk page.(Learn how and when to remove these messages)
This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Eff" programming language – news ·newspapers ·books ·scholar ·JSTOR(November 2019) (Learn how and when to remove this message)
This articlerelies excessively onreferences toprimary sources. Please improve this article by addingsecondary or tertiary sources.
Find sources: "Eff" programming language – news ·newspapers ·books ·scholar ·JSTOR(November 2019) (Learn how and when to remove this message)
(Learn how and when to remove this message)
Eff
ParadigmsMulti-paradigm:functional,imperative
FamilyML:Caml:OCaml
Designed byAndrej Bauer, Matija Pretnar
First appearedMarch 5, 2012; 13 years ago (2012-03-05)
Stable release
5.1 / October 19, 2021; 4 years ago (2021-10-19)
Implementation languageOCaml
Platformx86-64
OSCross-platform:macOS,Linux,Windows
LicenseBSD 2-clause
Websitewww.eff-lang.org
Influenced by
OCaml

Eff is ageneral-purpose,high-level,multi-paradigm,functionalprogramming language similar insyntax toOCaml which integrates the functions ofalgebraic effect handlers.[1][2]

Example

[edit]
effect Get_next : (unit -> unit) optioneffect Add_to_queue : (unit -> unit) -> unitlet 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

[edit]
  1. ^"Eff Programming Language".Eff-lang.org. Retrieved2019-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.

External links

[edit]
ML programming
Software
Implementations,
dialects
Caml
Standard ML
Dependent ML
Programming tools
Theorem provers,
proof assistants
Community
Designers
  • Lennart Augustsson (Lazy ML)
  • Damien Doligez (OCaml)
  • Gérard Huet (Caml)
  • Xavier Leroy (Caml, OCaml)
  • Robin Milner (ML)
  • Don Sannella (Extended ML)
  • Don Syme (F#)


    • Stub icon

    Thisprogramming-language-related article is astub. You can help Wikipedia byexpanding it.

    Retrieved from "https://en.wikipedia.org/w/index.php?title=Eff_(programming_language)&oldid=1256361436"
    Categories:
    Hidden categories:
    [8]ページ先頭
    ©2009-2025 Movatter.jp