iMath Wiki

Главная
Список Страниц

..

lambda

Функциональное и логическое программирование
Элементы теории типов. Простое типизированное λ-исчисление
Параметрический полиморфизм. Алгебраические типы. Классы типов.
Некоторые стандартные монады
Композиция типов. Трансформаторы монад.
Ленивые вычисления. Обработка исключений
Программирование на уровне типов

Сайт сгенерирован движком Hakyll и использует Bootstrap

«iMath Wiki» ©Nikolay "Livid" Yakimov,
публикуется на условиях лицензии Creative Commons «Attribution-ShareAlike» («Атрибуция — На тех же условиях») 4.0 Всемирная.
Разрешения, выходящие за рамки данной лицензии, могут быть доступны на странице http://livid.pp.ru.