Монады
https://compscicenter.ru/
Монады. Класс типов Monad. Пример: монада Identity. Законы класса типов Monad. do-нотация. Монада Maybe: вычисления, которые могут завершиться неудачей. Монада списка: вычисления со множественными результатами.
Лекция №9 в курсе "Функциональное программирование" (весна 2015).
Преподаватель курса: Денис Николаевич Москвин.
Страница лекции на сайте CS центра: https://goo.gl/xhwkWw
Видео Монады канала Computer Science Center
Монады. Класс типов Monad. Пример: монада Identity. Законы класса типов Monad. do-нотация. Монада Maybe: вычисления, которые могут завершиться неудачей. Монада списка: вычисления со множественными результатами.
Лекция №9 в курсе "Функциональное программирование" (весна 2015).
Преподаватель курса: Денис Николаевич Москвин.
Страница лекции на сайте CS центра: https://goo.gl/xhwkWw
Видео Монады канала Computer Science Center
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Лекция 7. Цифровой фото и видео монтаж
Семинар 7. Хеширование, итераторы (Алгоритмы и структуры данных, часть 1)
Лекция 11. Растеризация: OpenGL, Larrabee, cudaraster
Лекция 4. Деревья. Унициклические графы (Дискретный анализ и теория вероятностей)
Лекция 6. Генеративные сети, часть 2
Batch обработка с Apache Spark
Лекция 13. Встроенные функции, массивы, строки, S-выражения в машинном коде
Семинар 5. Тестирование (Алгоритмы и структуры данных, часть 1)
Лекция 5. Введение в вероятностный язык построения моделей машинного обучения
Лекция 8. С-ядро и значение Шепли
Лекция 5. Потоки
Лекция 5. Задача о потоке минимальной стоимости
Лекция 7. Классические методы классификации изображений
Лекция 9. Ориентированные графы
Семинар 4. Динамическое программирование (Алгоритмы и структуры данных, часть 1)
Лекция 7. Merge sort и PatchMatch
Лекция 3. Частично упорядоченные множества
Семинар 11. NP-задачи и игры на графах (Алгоритмы и структуры данных, часть 2)
Haystack
Самая лучшая лекция: вариационные методы (Вычисления на видеокартах)
Достижение согласованности. Алгоритмы консенсуса