Интернет магазин китайских планшетных компьютеров



Компьютеры - Лямбда-исчисление - В языках программирования

23 января 2011


Оглавление:
1. Лямбда-исчисление
2. Чистое
3.
4. Каррирование
5. Связь с рекурсивными функциями
6. В языках программирования



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



Просмотров: 5062


<<< Логика Хоара
Машина Зенона >>>