11 янв 1935 г. - Алонзо Чёрч разработал основы лямбда-исчислений.

Описание:

формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
В языках программирования под «λ-исчислением» зачастую понимается механизм «анонимных функций» — callback-функций, которые можно определить прямо в том месте, где они используются, и которые имеют доступ к локальным переменным текущей функции.

Добавлено на ленту времени:

Дата: