Home › Entities › functional programming language › purely functional programming language

purely functional programming language

functional programming language that is isomorph to the lambda calculus
Class type of: functional programming language Q28920201

Facts

2 properties
Subclass of
functional programming language[1]
Manifestation of
purely functional programming[2]
🏷️ Also known as
en pure functional programming language en purely functional programming language en pure programming language ar لغة برمجة وظيفية بحتة cs čistě funkcionální programovací jazyk de rein funktionale Programmiersprache fr langage de programmation purement fonctionnel id bahasa pemrograman fungsional murni ja 純粋関数型プログラミング言語 pl czysto funkcyjny język programowania ru чистый функциональный язык программирования uk чисто функційна мова програмування
🔖 Identifiers · 1
FOLDOC ID
purely+functional+language, pure+functional+language

Report an error or request removal Lineage (PROV-JSON)

🔗 Connections
Examples 14
Miranda, Elm, Mercury, Rocq prover, Clean, Curry, Agda, Idris +6 more
← Uses 2
proof assistant, purely functional programming
Manifestation of 1
purely functional programming
Subclass of 1
functional programming language
Press Enter · cited answer in seconds

Related Entities

Agda Charity Clean Curry Elm FAUST Frege functional programming language Idris Joy Mercury Miranda PureScript Rocq prover SequenceL

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [1] ↑ . wikidata.org.
  2. [2] ↑ . wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). purely functional programming language. Retrieved October 30, 2026, from https://4ort.xyz/entity/purely-functional-programming-language
MLA “purely functional programming language.” 4ort.xyz Knowledge Graph, 4ort.xyz, 30 Oct. 2026, https://4ort.xyz/entity/purely-functional-programming-language.
BibTeX @misc{4ortxyz_purely-functional-programming-language_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{purely functional programming language}}, year = {2026}, url = {https://4ort.xyz/entity/purely-functional-programming-language}, note = {Accessed: 2026-10-30}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): purely functional programming language — https://4ort.xyz/entity/purely-functional-programming-language (retrieved 2026-10-30)

Canonical URL: https://4ort.xyz/entity/purely-functional-programming-language · Last refreshed:

Edit History

Rolling log of changes to this entity's Wikidata record. Values shown reflect the current state of each edited property — follow the history link to see the precise diff for any edit.

  1. 18w ago · HelloImSteven · 2026-06-27 view diff on Wikidata ↗
    Manifestation of → —
    Aliases → —
    Subclass of → —
    Manifestation of → purely functional programming
    + 2 other properties edited (see Wikidata diff for full list)
    "/* wbsetclaim-create:1||1 */ FOLDOC ID: purely+functional+language, import FOLDOC ID ([[:toollabs:editgroups/b/wikibase-cli/ed002fb114c48/|details]])"
Live feed via Wikidata EventStreams. New edits appear within minutes of being made on Wikidata.