It is a mathematical abstraction rather than a programming language—but it forms the basis of almost all current functional programming languages.
Deși este mai mult o abstracție matematică decât un limbaj de programare, el formează baza aproape tuturor limbajelor de programare funcționale din prezent.