It is a mathematical abstraction rather than a programming language—but it forms the basis of almost all current functional programming languages.
Αν και είναι περισσότερο μαθηματική αφαίρεση παρά γλώσσα προγραμματισμού, αποτελεί τη βάση σχεδόν όλων των συναρτησιακών γλωσσών προγραμματισμού.