It is a mathematical abstraction rather than a programming language—but it forms the basis of almost all current functional programming languages.
Ačkoliv je to více matematická abstrakce než programovací jazyk, vytváří dnes základy téměř všech funkcionálních jazyků.