Eff (programming language)

Eff
ParadigmsMulti-paradigm: functional, imperative
FamilyML: Caml: OCaml
Designed byAndrej Bauer, Matija Pretnar
First appearedMarch 5, 2012; 12 years ago (2012-03-05)
Stable release
5.1 / October 19, 2021; 3 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 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

  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.


Stub icon

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

Read other articles:

Mukjizat susu Hindu

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Desember 2022. Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Oktober 2022. Sebuah...

 

 

Ireland

Island in the North Atlantic Ocean This article is about the island. For the sovereign state, see Republic of Ireland. For the part of the United Kingdom, see Northern Ireland. For other uses, see Ireland (disambiguation). IrelandÉire (Irish)Airlann  (Ulster Scots)Satellite image, October 2010Location of Ireland (dark green)in Europe (dark grey)GeographyLocationNorthwestern EuropeCoordinates53°26′58″N 07°30′11″W / 53.44944°N 7.50306°W...

 

 

Ænon

Bagian dari Peta Madaba yang memperlihatkan Ænon Ænon (dalam Alkitab bahasa Indonesia Terjemahan Baru: Ainon) adalah sebuah kata dalam bahasa Yunani yang berasal dari istilah Ibrani ay-yin. Kata ini artinya mata air atau air mancur alami dan merupakan sebuah tempat di dekat Salim (atau Salem) di mana Yohanes Pembaptis melakukan pembaptisan (Yohanes 3:23). Kata ini hanya disebutkan sekali dalam Alkitab. Nama tersebut umumnya digunakan pada organisasi dan gereja Baptis. Lihat pula Pembaptisan...

Shirak F.C.

ShiraklogoNama lengkapShirak Football ClubBerdiri1958StadionGyumri City Stadium Gyumri, Shirak(Kapasitas: 3000)KetuaArman SahakyanManajerVardan BichakhchyanLigaArmenian Premier League2022/23ke-7Situs webSitus web resmi klub Kostum kandang Kostum tandang Kostum ketiga Shirak Football Club (bahasa Armenia: Շիրակ Ֆուտբոլային Ակումբ), adalah tim sepak bola profesional asal Armenia yang berasal dari Gyumri, Shirak. Tim kini berkompetisi di Liga Utama Armenia. Titel A...

 

 

Fu Hsing Broadcasting Station

Taiwanese radio station This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Fu Hsing Broadcasting Station – news · newspapers · books · scholar · JSTOR (June 2023) (Learn how and when to remove this template message) Fu Hsing Broadcasting Station復興廣播電台TypeRadio networkBrandingVoice of RevivalCountryT...

 

 

دوري هونغ كونغ لكرة القدم 1980–81

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (نوفمبر 2019) هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحس...

KNVB beker 1990-1991

KNVB beker 1990-1991 Competizione KNVB beker Sport Calcio Edizione 73ª Organizzatore KNVB Luogo  Paesi Bassi Risultati Vincitore Feyenoord(7º titolo) Cronologia della competizione 1989-90 1991-92 Manuale La Coppa d'Olanda 1990-1991 (vero nome: KNVB Beker o Amstel Cup per ragioni di sponsor) fu la 73ª edizione della coppa nazionale dei Paesi Bassi. Indice 1 1º Turno 1.1 Turno intermedio 2 2º Turno 3 Ottavi 4 Quarti 5 Semifinali 6 Finale 7 Collegamenti esterni 1º Turno Giocati il 13...

 

 

Facial expression

Expression of the face This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Facial expression – news · newspapers · books · scholar · JSTOR (July 2018) (Learn how and when to remove this template message) A facial expression is one or more motions or positions of the muscles beneath the skin of the face. Accordin...

 

 

コルク

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: コルク – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年4月） コルクを打ち抜いて作った瓶の栓 コルク（木栓、�...

Urgnano

Questa voce o sezione sull'argomento centri abitati della Lombardia non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento. Urgnanocomune Urgnano – VedutaPanorama della Basella LocalizzazioneStato Italia Regione Lombardia Provincia Bergamo AmministrazioneSindacoMarco Gastoldi (Lista Civica Guar...

 

 

Новотитаровское сельское поселение

Сельское поселение России (МО 2-го уровня)Новотитаровское сельское поселение Флаг[d] Герб 45°14′09″ с. ш. 38°58′16″ в. д.HGЯO Страна  Россия Субъект РФ Краснодарский край Район Динской Включает 4 населённых пункта Адм. центр Новотитаровская Глава сельского пос�...

 

 

世界政區索引

此條目可能包含不适用或被曲解的引用资料，部分内容的准确性无法被证實。 (2023年1月5日)请协助校核其中的错误以改善这篇条目。详情请参见条目的讨论页。 各国相关 主題列表 索引 国内生产总值 石油储量 国防预算 武装部队（军事） 官方语言 人口統計 人口密度 生育率 出生率 死亡率 自杀率 谋杀率 失业率 储蓄率 识字率 出口额 进口额 煤产量 发电量 监禁率 死刑 国债 ...

Філософія

Частина серії проФілософіяLeft to right: Plato, Kant, Nietzsche, Buddha, Confucius, AverroesПлатонКантНіцшеБуддаКонфуційАверроес Філософи Епістемологи Естетики Етики Логіки Метафізики Соціально-політичні філософи Традиції Аналітична Арістотелівська Африканська Близькосхідна іранська Буддій�...

 

 

جوهر (ولاية)

  لمعانٍ أخرى، طالع جوهر (توضيح).   جوهر (بالملايوية: Johor)‏    جوهر (ولاية) جوهر (ولاية)  خريطة الموقع تقسيم إداري البلد ماليزيا  [1][2] العاصمة جوهر بهرو  التقسيم الأعلى ماليزيا  خصائص جغرافية إحداثيات 1°29′14″N 103°46′52″E / 1.4872222222222°N 103.78111111111�...

 

 

Natural Bridges State Beach

State beach in Santa Cruz, California This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Natural Bridges State Beach – news · newspapers · books · scholar · JSTOR (December 2021) (Learn how and when to remove this message) Natural Bridges State BeachIUCN category III (natural monument or feature)The last remain...

استصلاح الأراضي البحرية

استصلاح الأراضي البحريةمعلومات عامةصنف فرعي من نشاط تقني المنتجات أو المادة أو الخدمة المخدمة reclaimed land (en) تعديل - تعديل مصدري - تعديل ويكي بيانات استصلاح شواطئ رملية في منطقة سان ستيفانو[؟] - حي شرق الإسكندرية. استصلاح الأراضي البحرية هي عملية إنشاء أراضٍ جديدة في البحر....

 

 

Ștefan Botnarciuc

Moldovan politician Ştefan BotnarciucMember of the Moldovan ParliamentIn office1917–1918 Ştefan Botnarciuc (1875 in Bălți, Russian Empire – in 1900s) was a Bessarabian politician and a Ukrainian national farmer from Bălţi. Biography He served as Member of the Moldovan Parliament (1917–1918). On 27 March 1918 Ştefan Botnarciuc voted for the Union of Bessarabia with Romania. Gallery Moldovan stamp, 1998 Notes Bibliography Gheorghe E. Cojocaru, Sfatul Țării: itinerar, Civitas, Chi...

 

 

Analects

Confucian philosophical text Analects A page from the AnalectsAuthorDisciples of ConfuciusOriginal title論語LanguageClassical ChinesePublication placeChinaOriginal text論語 at Chinese WikisourceTranslationAnalects at Wikisource AnalectsAnalects written using seal script (top), as well as modern traditional (middle) and simplified (bottom) regular script character formsChinese nameTraditional Chinese論語Simplified Chinese论语Hanyu PinyinLúnyǔ Literal meaning'Selected s...

Compressed natural gas

Fuel gas mainly composed of methane CNG redirects here. For other uses, see CNG (disambiguation). Not to be confused with liquefied natural gas. Not to be confused with autogas nor with gasoline (petrol). Compressed natural gas (CNG) is a fuel gas mainly composed of methane (CH4), compressed to less than 1% of the volume it occupies at standard atmospheric pressure. It is stored and distributed in hard containers at a pressure of 20–25 megapascals (2,900–3,600 psi; 200–250 atm...

 

 

Поспелихинский район

район[1] / муниципальный район[2]Поспелихинский район 51°59′00″ с. ш. 81°50′00″ в. д.HGЯO Страна  Россия Входит в Алтайский край Адм. центр село Поспелиха Глава Администрации района Игорь Алексеевич Башмаков История и география Дата образования 1924 Площадь 24...