|
Лекция 22: Формальная семантика языков функционального программирования, и 21 |
Спонсор: Microsoft
Вы можете этот курс.
Лекция 5:
Основные принципы функционального программирования
< Лекция 1 || Лекция 5
Аннотация: Введение в лямбда-исчисление. Редукция. Язык функционального программирования как лямбда-редуктор. Функции нескольких аргументов. Каррирование. Условное выражение. Определение имен. Области видимости.
< Лекция 1 || Лекция 5
