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).
Nº Q670180 ★
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).
Last price
—
Floor price
—
7-day median
—
30-day sales
0
30-day range
—
In circulation
0
Price history
median
low – high
sales
No sales in this period
Show table
| Date | median | Low | High | sales |
|---|
Sales history
- Last sale
- —
- 30-day average
- —
- 30-day low
- —
- 30-day high
- —
- Sales 7d
- 0
- Sales 30d
- 0
No sales yet.
Anonymous sales: no buyer or seller shown. Figures count player-to-player sales only.
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
Nº Q2552799 ★
Not listed
-
Agda (programming language)
Dependently typed, purely functional programming language and proof assistant
Nº Q20479 ★
Not listed
-
PureScript
Strongly typed language that compiles to JavaScript
Nº Q65082796 ★
Not listed
-
D (programming language)
Multi-paradigm system programming language
Nº Q319268 ★★
Not listed
-
C++
General-purpose programming language
Nº Q2407 ★★★★
Not listed
-
Lambda calculus
Formal system in mathematical logic
Nº Q242028 ★★★
Not listed