Оглавление:
Определение - Что означает Лямбда-исчисление?
Лямбда-исчисление - это тип формальной системы из математической логики, используемой в информатике для определения, применения и рекурсии функций.
Функциональное компьютерное программирование возникло из этого типа исчисления и, в свою очередь, выступает в качестве модели для разработки программного обеспечения, предоставляя простую семантику для вычисления с помощью функций. В отличие от императивных функций, которые могут изменять статус программы, потому что они не имеют ссылочной прозрачности, функциональное программирование не меняет статус программы.
Техопедия объясняет лямбда-исчисление
Лямбда-исчисление приводит к тому, что потоки кода языка приводят к одинаковым значениям независимо от времени или машины, на которой был запущен поток кода. Это не относится к программированию императивных функций, которое обычно имеет непредсказуемые программные ответы.
Функциональное программирование может быть реализовано на любом языке программирования, даже на тех, которые не были разработаны с функциональными структурами программирования по умолчанию.
