Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Аппликативные функторы
Функциональное программирование


Что: Лекция
Когда: Среда, 25 марта 2020, 18:10–19:45
Где: НГУ, ауд. 2128

Описание

Законы для функторов. Класс типов Pointed и законы для него. Класс типов Applicative и его представители. Два способа объявления списка аппликативным функтором.