Unlambda: Difference between revisions

Content deleted Content added
impure
m In the context of programming languages, ` is customarily referred to as backquote, see Grave accent#Computer-related.
Line 1:
'''Unlambda''' is a minimal, but [[Functional programming language#Pure functions|impure]] [[functional programming language|functional]] [[programming language]] invented by [[David Madore]]. It is based on [[combinatory logic]], a version of the [[lambda calculus]] that omits the lambda operator. It relies mainly on two built-in functions (''s'' and ''k'') and an "apply" operator (written ''`'', the grave accent[[backquote]] character). These alone make it [[Turing-complete]], but there are also some I/O functions to make it possible to interact with the user, some shortcut functions and a function for lazy evaluation.
 
==Basic principles==