November 2017
Intermediate to advanced
670 pages
17h 35m
English

Schonfinkel was a Russian mathematician who invented combinatory logic around 1924. A combinator is a higher order function that uses only function application and earlier defined combinators to define a result from its arguments. This replacement technique reduced multiple function arguments to a single argument, and was later known as currying, after Haskell Curry.
The following table explains Schonfinkel combinators:
|
Definition |
Acroymn - German |
Function Type |
|
λx. x |
I - Identitatsfunktion |
Identity |
|
λx,y. x |
K - Konstanzfunktion |
Constant |
|
λx,y,z. xz(yz) |
S - Verschmelzungsfunktion |