combinator
combinator A lambda expression containing no free variables. While this is the most general definition, the word is usually understood more specifically to refer to certain combinators of special importance, in particular the following four:
I = λx . x
K = λx . λy . x
S = λx . λy . λz . x(z)(y(z))
Y = λf . (λu . f(u(u))) (λu . f(u(u)))
The combinators I, K, and S were introduced by Schönfinkel and Curry, who showed that any λ-expression can essentially be formed by combining them. More recently combinators have been applied to the design of implementations for functional languages. In particular Y (also called the paradoxical combinator) can be seen as producing fixed points, since Y(f) reduces to f(Y(f)).
I = λx . x
K = λx . λy . x
S = λx . λy . λz . x(z)(y(z))
Y = λf . (λu . f(u(u))) (λu . f(u(u)))
The combinators I, K, and S were introduced by Schönfinkel and Curry, who showed that any λ-expression can essentially be formed by combining them. More recently combinators have been applied to the design of implementations for functional languages. In particular Y (also called the paradoxical combinator) can be seen as producing fixed points, since Y(f) reduces to f(Y(f)).
More From encyclopedia.com
inverse , inverse
1. (converse) of a binary relation R. A derived relation R–1 such that whenever x R y then y R–1 x
where x and y are arbitrary elements of th… George Boole , Boole, George
Boole, George
(b. Lioncoln, England, 1815; d. Cork, Ireland, 1864)
mathematics.
George Boole was the son of John Boole, a cobbler whose… Diophantus Of Alexandria , Diophantus of Alexandria
Diophantus of Alexandria
(fl. ad. 250)
mathematics.
We know virtually nothing about the life of Diophantus. The dating of hi… Intervening Variable , intervening variable A variable, used in the process of explaining an observed relationship between an independent and dependent variable(s), such th… Garrett Birkhoff , Birkhoff was the son of mathematician George David Birkhoff and Margaret Grafius Birkhoff. George Birkhoff, the father, was the first American mathem… Coefficient , coefficient •abeyant, mayn't •ambient, circumambient •gradient, irradiant, radiant •expedient, ingredient, mediant, obedient •valiant • salient • res…
You Might Also Like
NEARBY TERMS
combinator