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: "Unlambda" – news · newspapers · books · scholar · JSTOR(August 2020) (Learn how and when to remove this message)
Functional programming language
Unlambda
Paradigm
Nearly pure functional
Designed by
David Madore
Developer
David Madore
First appeared
28 June 1999; 24 years ago (1999-06-28)
Stable release
2.0.0
/ 20 December 1999; 24 years ago (1999-12-20)
Typing discipline
Untyped
Implementation language
Scheme, C, Java
License
GPL 2.0 or later
Website
www.madore.org/~david/programs/unlambda
Unlambda is a minimal, "nearly pure"[1] 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.[clarification needed]
^Chu-Carroll, Mark C. (2006-08-11). "Friday Pathological Programming: Unlambda, or Programming Without Variables". Good Math, Bad Math (blog). ScienceBlogs.
Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore. It is based on combinatory logic, an expression system without...
language designed to make programs look like rich, emotional narrative. Unlambda is a minimalist functional programming language based on SKI calculus,...
procedural style. There do exist a few esoteric functional languages (like Unlambda) that eschew structured programming precepts for the sake of being difficult...
themselves. Tom: The backtick creates a new term or to calls an existing term. Unlambda: The backtick character denotes function application. Verilog HDL: The...
additional VM support. Standard ML of New Jersey: SMLofNJ.Cont.callcc Unlambda: c, the flow control operation for call with current continuation In any...
and hardware. The purest form of this view is the programming language Unlambda, whose sole primitives are the S and K combinators augmented with character...
machine – A formal computing machine that is equivalent to lambda calculus Unlambda – An esoteric functional programming language based on combinatory logic...
W system Fixed point combinator Lambda calculus Functional programming Unlambda programming language The Iota and Jot programming languages, designed to...