Аппликативные функторы

Среда, 07 февраля 2018
НГУ, ауд. 2128, НГУ, новый корпус

Приложенные файлы

Описание

Аппликативные функторы для частично примененных функциональной стрелки (->) e и Either e. Композиция уровня типов. Свойства композиции функторов и аппликативных функторов.