NPL (programming language)

For other programming languages and concepts abbreviated as NPL, see NPL (disambiguation).

NPL is a functional programming language with pattern matching designed by Rod Burstall and John Darlington in 1977. The language allows certain sets and logic constructs to appear on the right hand side of definitions, e.g. 

setofeven(X) <= <:x: x in X & even(x) :>

The NPL interpreter evaluates the list of generators from left to right so conditions can mention any bound variables that occur to their left. These were known as set comprehensions. NPL eventually evolved into Hope but lost set comprehensions, which made a reappearance in the form of list comprehensions in later functional languages.

References

  • John Darlington (1977). "Program Transformation and Synthesis: Present Capabilities". Research Report No. 77/43, Dept. of Computing and Control, Imperial College of Science and Technology, London.


Stub icon

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

Read other articles:

Jihad-jihad Fula

Negara-negara yang mengobarkan jihad Fula di Afrika sekitar tahun 1830 Jihad-jihad Fula atau Fulani adalah serangkaian jihad yang dikobarkan di Afrika Barat pada abad ke-18 dan ke-19 oleh negara-negara suku bangsa Fula yang beragama Islam. Jihad mereka berakhir akibat penjajahan bangsa Eropa. Perang pertama yang terilhami oleh agama Islam di Afrika Barat berlangsung di Futa Jalon pada 1725 ketika para penggembala Fula (yang dibantu oleh pedagang Muslim) memberontak melawan negara-negara yang ...

 

Sate klatak

Sate klatakSate klatak yang dimasakTempat asalIndonesiaDaerahKabupaten Bantul, D.I. YogyakartaSunting kotak info • L • BBantuan penggunaan templat ini Sate klatak yang disajikan dalam piring Sate klatak (Jawa: ꦱꦠꦺ​ꦏ꧀ꦭꦛꦏ꧀, translit. Saté klathak) adalah sebuah hidangan sate kambing asal Kapanéwon Pleret, Kabupaten Bantul, Yogyakarta.[1] Dalam bahasa Jawa, kegiatan membakar sate di pembakaran terbuka disebut klathak.[1] Sate ini sanga...

 

Meyer v. Nebraska

1923 United States Supreme Court caseMeyer v. NebraskaSupreme Court of the United StatesArgued February 23, 1923Decided June 4, 1923Full case nameRobert T. Meyer v. State of NebraskaCitations262 U.S. 390 (more)43 S. Ct. 625; 67 L. Ed. 1042; 1923 U.S. LEXIS 2655; 29 A.L.R. 1446Case historyPriorJudgment for respondent, Meyer v. State, 107 Neb. 657, 187 N.W. 100 (1922).HoldingA 1919 Nebraska law prohibiting the teaching of modern foreign languages to grade-school children violated the Due Proce...

Canadair CF-104 Starfighter

Licensed built variant of the F-104 Starfighter CF-104 Starfighter An RCAF CF-104 in flight Role Interceptor aircraft, Fighter-bomberType of aircraft Manufacturer Canadair Design group Lockheed Corporation First flight 26 May 1961 Introduction March 1962 Retired 1995 Turkish Air Force[1] Primary users Royal Canadian Air ForceRoyal Danish Air Force Royal Norwegian Air Force Turkish Air Force Number built 200 Developed from Lockheed F-104 Starfighter The Canadair CF-104 Starfighter...

 

David Costabile

American actor David CostabileCostabile in 2014Born (1967-01-09) January 9, 1967 (age 57)Washington, D.C., U.S.OccupationActorYears active1997–presentSpouse Eliza Baldi ​(m. 2012)​Children2 David Costabile (/ˈkɒstəbəl/; born January 9, 1967)[1] is an American actor. He is best known for his television work, having appeared in supporting roles in several television series such as Billions, Breaking Bad and Better Call Saul, Damages, Flight o...

 

Ford Granada (Amerika Utara)

Ford GranadaFord Granada coupe (generasi pertama)InformasiProdusenFordModel untuk tahun1975–1982Bodi & rangkaKelasKompak (1975–1980)Mid-size (1981–1982)Tata letakMesin depan, penggerak roda belakangKronologiPendahuluFord MaverickPenerusFord LTD Ford Granada versi Amerika Utara adalah berbagai sedan yang diproduksi dan dipasarkan oleh Ford; dua generasi lini model dijual dari tahun 1975 hingga 1982. Dikembangkan sebagai penerus asli Ford Maverick, Granada berbagi namanya dengan ...

Shaul Mofaz

Shaul MofazLahir4 November 1948 (umur 75)Tempat lahirTehran, IranTahun aliyah1957Knesset17, 18, 19Faksi yang diwakili di Knesset2006–2015KadimaJabatan menteri2002–2006Menteri Pertahanan2006–2009Wakil Perdana Menteri2006–2009Menteri Transportasi2012Wakil Perdana Menteri2012Menteri tanpa PortofolioJabatan lain1998–2002Kepala Staf Pasukan Pertahanan Israel2012Pemimpin Oposisi2012–2013Pemimpin Oposisi Letjen Shaul Mofaz (Ibrani: שאול מופז‎; lahir 4 November 1948) ad...

 

Caterina Murino

Caterina MurinoCaterina Murino nel 2010 al Giffoni Film FestivalOcchimarroni Capellicastani Modifica dati su Wikidata · Manuale Caterina Murino (Cagliari, 15 settembre 1977[1]) è un'attrice, modella e showgirl italiana. Indice 1 Biografia 2 Filmografia 2.1 Cinema 2.2 Televisione 3 Teatro 4 Programmi TV 5 Videoclip 6 Note 7 Altri progetti 8 Collegamenti esterni Biografia Inizialmente decisa a intraprendere la professione medica, vira verso i concorsi di bellezza dopo aver fallit...

 

Rhenen

Rhenen, adalah sebuah gemeente Belanda yang terletak di provinsi Utrecht. Pada tahun 2021 daerah ini memiliki penduduk sebesar 20.200 jiwa. Penduduk Rhenen Tahun Peduduk 2003 17.694 2006 17.995 2007 18.658 2021 20.203 Lihat pula Daftar Kota Belanda lbsMunisipalitas di provinsi Utrecht Amersfoort Baarn Bunnik Bunschoten De Bilt De Ronde Venen Eemnes Houten IJsselstein Leusden Lopik Montfoort Nieuwegein Oudewater Renswoude Rhenen Soest Stichtse Vecht Utrecht Utrechtse Heuvelrug Veenendaal Vijf...

Namo Grand Central Park

Urban public park in India Namo Grand Central Parkनमो ग्रँड सेंट्रल पार्कFlora Trellis at the Grand Central Park, ThaneTypeUrban and public parkLocationThane, Maharashtra, IndiaCoordinates19°13′44″N 72°59′25″E / 19.22889°N 72.99028°E / 19.22889; 72.99028Area20.5 acres (8.296 ha; 0.083 km2; 0.032 sq mi)CreatedFebruary 9, 2024 (2024-02-09)Operated byThane Municipal Corporation (Th...

 

Франц (герцог Саксен-Кобург-Заальфельдский)

Франц Саксен-Кобург-Заальфельдскийнем. Franz von Sachsen-Coburg-Saalfeld герцог Саксен-Кобург-Заальфельдский 8 сентября 1800 — 9 декабря 1806 Предшественник Эрнст Фридрих Саксен-Кобург-Заальфельдский Преемник Эрнст I Саксен-Кобург-Заальфельдский Рождение 15 июля 1750(1750-07-15)Кобург, Сакс...

 

Lunsemfwa River

The Luangwa basin with the Lunsemfwa (bottom left) The Lunsemfwa River is a tributary of the Luangwa Rivers in Zambia and part of the Zambezi River basin. It is a popular river for fishing, containing large populations of tigerfish and bream.[citation needed] It rises on the south-central African plateau at an elevation of about 1250 m to the north of Mkushi and south of the border of Congo Pedicle, and flows south. It is used to generate hydroelectric power for the Kabwe mines throug...

安倍晋太郎

安倍晋太郎安倍晋太郎（攝於1987年4月21日） 日本第112、113任外務大臣任期1982年11月27日—1986年7月22日总理中曾根康弘前任櫻内義雄继任倉成正 日本第42任通商產業大臣任期1981年11月30日—1982年11月27日总理鈴木善幸前任田中六助（日语：田中六助）继任山中貞則 日本第41任内閣官房長官任期1977年11月28日—1978年12月7日总理福田赳夫前任園田直继任田中六助（日语�...

 

哈萨克斯坦总统

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言，清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日（哈薩克蘇維埃社會主義共和國總統） 哈萨克斯坦 哈萨克斯坦政府...

 

French nobility

Social class in Middle Age and Early Modern France 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: French nobility – news · newspapers · books · scholar · JSTOR (July 2009) (Learn how and when to remove this message) Pierre d'Hozier (1592–1660), genealogist and juge d'armes of France, employed to verify th...

ジョン・クラウザー

John Francis Clauserジョン・フランシス・クラウザー 生誕 (1942-12-01) 1942年12月1日（81歳） アメリカ合衆国 カリフォルニア州パサデナ国籍 アメリカ合衆国研究機関 ローレンス・バークレー国立研究所ローレンス・リバモア国立研究所カリフォルニア大学バークレー校出身校 カリフォルニア工科大学コロンビア大学主な受賞歴 ウルフ賞物理学部門(2010)ノーベル物理学賞(2022)プ...

 

Fun House (The Stooges album)

1970 studio album by the StoogesFun HouseStudio album by the StoogesReleasedJuly 7, 1970RecordedMay 11–25, 1970StudioElektra, Los Angeles, California[1]Genre Proto-punk hard rock experimental rock avant-punk punk jazz garage rock[2] Length36:35LabelElektraProducerDon GallucciThe Stooges chronology The Stooges(1969) Fun House(1970) Raw Power(1973) Fun House is the second studio album by American rock band the Stooges. It was released on July 7, 1970, by Elektra Recor...

 

Scott Alexander and Larry Karaszewski

American screenwriting team Scott Alexander and Larry KaraszewskiAlexander (left) and Karaszewski (right) in 2014BornScott Alexander (1963-06-16) June 16, 1963 (age 61)Los Angeles, California, U.S.Larry Karaszewski (1961-11-20) November 20, 1961 (age 62)South Bend, Indiana, U.S.Alma materUSC School of Cinematic Arts (both)OccupationScreenwritersYears active1990–presentSpouseLarry: Emily Karaszewski ​(m. 1991)​ChildrenScott: 3[1]Larry...

Sekolah Tinggi Yale

Sekolah Tinggi Yale Gedung Sheffield-Sterling-Strathcona adalah gedung administrasi utama Yale College     Tampilkan peta yang diperbesarTampilkan peta yang diperkecil InformasiNama sebelumnyaThe Collegiate SchoolMotoאורים ותמים (Ibrani; ʾÛrîm wə-Tummîm)Moto dalam bahasa InggrisLight and truth(Cahaya dan kebenaran)JenisSekolah swastaDidirikan1701; 322 tahun lalu (1701)Lembaga indukUniversitas Yale DekanMarvin ChunSarjana6.092[1]LokasiNew Haven, Conne...

 

Берингийский волк

Стиль этой статьи неэнциклопедичен или нарушает нормы литературного русского языка. Статью следует исправить согласно стилистическим правилам Википедии. † Берингийский волк Две модели берингийских волков созданные палеохудожником в Центре интерпретации Юкон — Б�...