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