Лекция 21: Типизация в языках функционального программирования

Подробности

Категория: Функциональное программирование от НОУ ИНТУИТ

Классификация языков программирования по видам типизации. Типизированное лямбда исчисление. Вывод типов.