Новосибирский государственный университетФакультет информационных технологий |
А.М.Федотов |
Лямбда-исчисление (λ-исчисление) - формальная система, разработанная американским математиком Алонзо Черчем, для формализации и анализа понятия вычислимости.
λ-исчисление может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а значением также может быть оператор. Языки в этом семействе являются функциональными, поскольку они основаны на представлении о функции или операторе, включая функциональную аппликацию и функциональную абстракцию. λ-исчисление реализовано Джоном Маккарти в языке Лисп. Вначале реализация идеи λ-исчисления была весьма громоздкой. Но по мере развития Лисп-технологии (прошедшей этап аппаратной реализации в виде Лисп-машины) идеи получили ясную и четкую реализацию.
Ключевые термины (головные): Прототипное программирование; Функциональное программирование;
Федотов Анатолий Михайлович |
НГУ ФИТ НГУ ИВТ СО РАН |