This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
courses:functional_programming:lectures [2018/12/03 17:00] vnikolenko |
courses:functional_programming:lectures [2022/12/10 09:08] (current) |
||
---|---|---|---|
Line 80: | Line 80: | ||
* Функция как функтор, аппликативный функтор | * Функция как функтор, аппликативный функтор | ||
* Список как аппликативный функтор, ZipList | * Список как аппликативный функтор, ZipList | ||
- | |||
- | <del> | ||
- | ===== Использование аппликативных функторов ===== | ||
- | * Аппликативные парсеры | ||
- | * Класс типов Alternative | ||
- | * Законы класса Alternative | ||
- | * Класс типов Traversable | ||
- | * Законы класса Traversable | ||
- | </del> | ||
===== Монады ===== | ===== Монады ===== | ||
Line 104: | Line 95: | ||
* IO | * IO | ||
* Функции ввода-вывода | * Функции ввода-вывода | ||
+ | |||
+ | |||
+ | <note warning>Остальное не успели</note> | ||
+ | ===== Использование аппликативных функторов ===== | ||
+ | * Аппликативные парсеры | ||
+ | * Класс типов Alternative | ||
+ | * Законы класса Alternative | ||
+ | * Класс типов Traversable | ||
+ | * Законы класса Traversable | ||
===== Трансформеры монад ===== | ===== Трансформеры монад ===== |