Editing Effect system (section)

=== Core Feature ===
* [[Koka (programming language)|Koka]] is a [[statically typed]] [[functional programming]] language with algebraic effect handlers as a main feature.<ref>{{cite web |title=The Koka Manual |url=https://koka-lang.github.io/koka/doc/kokaspec.html |website=koka-lang.github.io}}</ref>
* [[Eff (programming language)|Eff]] is a statically typed functional programming language centered around algebraic effect handlers.<ref>{{Citation|last=Pretnar|first=Matija|title=Eff|date=2021-12-07|url=https://github.com/matijapretnar/eff|access-date=2021-12-11}}</ref>
* [[Unison (programming language)|Unison]] is a statically typed functional programming language with algebraic effect handlers (called "abilities" in the language) as a core part of the type system.<ref>{{Cite web|title=The Unison language|url=https://www.unisonweb.org/|access-date=2021-12-07|website=www.unisonweb.org}}</ref>
* [https://effekt-lang.org/ Effekt] is a research language centered around effect handlers and polymorphic effects.<ref>{{Cite web |author=The Effekt research team|title=Effekt Language: Concepts and Features |url=https://effekt-lang.org/docs/concepts |access-date=2023-06-13 |website=Effekt Language}}</ref>