Common · Knowledge
Unlambda
Functional programming language
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).
From Wikipedia
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.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
S★
System F
Typed lambda calculus
-
★
Agda (programming language)
Dependently typed, purely functional programming language and proof assistant
-
★
PureScript
Strongly typed language that compiles to JavaScript
-
★★
D (programming language)
Multi-paradigm system programming language
-
★★★★
C++
General-purpose programming language
-
★★★
Lambda calculus
Formal system in mathematical logic