Unlambda
Sign in to saveUnlambda is a minimal, "nearly pure" functional programming language invented by David Madore. It is based on combinatory logic, an expression system without the lambda operator or free variables. It relies mainly on two built-in functions (s and k) and an apply operator (written `, the backquote character). These alone make it Turing-complete, but there are also some input/output (I/O) functions to enable interacting with the user, some shortcut functions, and a lazy evaluation function. Variables are unsupported.
Key facts
- Programming language.name
- Unlambda
- Programming language.paradigm
- Nearly pure functional
- Programming language.designer
- David Madore
- Programming language.developer
- David Madore
- Programming language.latest release version
- 2.0.0
- Programming language.typing
- Untyped
- Programming language.programming language
- Scheme, C, Java
- Programming language.license
- GPL 2.0 or later
- Programming language.file format
- <!-- or:
- Programming language.file formats
- -->
via Wikipedia infobox
Wikidata facts
- Official website
- www.madore.org/~david/programs/unlambda
Show 1 more fact
- inception
- 1999-06-28
Sources (1)
via Wikidata · CC0
~5 min read
Article
6 sectionsContents
- Basic principles
- Original built-in functions
- Version 2 built-in functions
- See also
- References
- External links
Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore. It is based on combinatory logic, an expression system without the lambda operator or free variables. It relies mainly on two built-in functions (s and k) and an apply operator (written `, the backquote character). These alone make it Turing-complete, but there are also some input/output (I/O) functions to enable interacting with the user, some shortcut functions, and a lazy evaluation function. Variables are unsupported.
Unlambda is free and open-source software distributed under a GNU General Public License (GPL) 2.0 or later.