Although it is a mathematical abstraction rather than a programming language, it forms the basis of almost all functional programming languages today.
Являясь математической абстракцией, а не языком программирования, оно составило базис почти всех языков функционального программирования на сегодняшний день.