Навигация
iMath Wiki
Главная
Список Страниц
..
Страницы Pаздела
lectures
supplement/
Введение. Функциональное программирование. Язык Haskell
Бестиповое λ-исчисление
Элементы теории типов. Простое типизированное λ-исчисление
Параметрический полиморфизм. Алгебраические типы. Классы типов.
Некоторые стандартные монады. Композиция типов. Трансформаторы монад.
Ленивые вычисления.
Обработка исключений
Программирование на уровне типов