Функциональное программирование 2MIT осень 2020

Материал из CSC Wiki
Версия от 20:28, 2 сентября 2020; Moskvin (обсуждение | вклад) (Новая страница: «== Лекции == Преподаватель: Москвин Денис Николаевич <code>dmoskvin@gmail.com</code> === Слайды === Медиа…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к:навигация, поиск

Лекции

Преподаватель: Москвин Денис Николаевич dmoskvin@gmail.com


Слайды

Лекция 1. Лямбда-исчисление 04.09.2020 (пт)

Лекция 2. Рекурсия и редукция 11.09.2020 (пт)

Лекция 3. Просто типизированное лямбда-исчисление 18.09.2020 (пт)

Лекция 4. Введение в Haskell 25.09.2020 (пт)

Лекция 5. Программирование на Haskell 02.10.2020 (пт)

Лекции 5a. Программирование на Haskell (2) 09.10.2020 (пт)

Лекция 6. Классы типов 16.10.2020 (пт)

Лекция 7. Свертки 23.10.2020 (пт)

Лекция 8. Аппликативные функторы 30.11.2020 (пт)

Лекция 9. Использование аппликативных функторов 06.11.2020 (ср)

Лекция 10. Монады 13.11.2020 (ср)

Лекция 11. Стандартные монады 20.11.2020 (ср)

Лекция 12. Трансформеры монад 27.12.2020 (ср)

Лекция 13. Алгоритм вывода типов 04.12.2020 (ср)

Лекция 14. Рекурсивные типы 11.12.2020 (ср)


Полезные ссылки

Hoogle

Typeclassopedia

Haskell 2010 Language Report

Learn You a Haskell for Great Good!

Полезными могут оказаться конспекты лекций по теоретической и практической частям курса. Это расширенные версии слайдов, с дополнительными примерами и рассуждениями. (Предупреждение: они неполные и представляют собой раннюю альфу!)