ФП 5SE осень 2020

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

Лекции

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

Пожалуйста, указывайте в теме письма FPIFMOJB.


Слайды

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

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

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

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

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

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

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

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

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

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

Лекция 10. Монады 16.11.2020 (пн)

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

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

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

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

Лекция 15. Молнии и линзы 21.12.2020 (пн)


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

Hoogle

Typeclassopedia

Haskell 2010 Language Report

Learn You a Haskell for Great Good!

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