DSL: Упрощалка выражений, лекция 7
Абстракция данных, лекция 4
Аппликативные функторы
Введение в Haskell
Вывод типов
Изменяемое состояние и модель окружений, лекция 8
Использование монад
Классы типов
Лекция 1: Определение и краткая история функционального программирования
Лекция 10: Хвостовая рекурсия. Порядковое представление списков и матриц
Лекция 11: Функциональные структуры данных
Лекция 12: Деревья
Лекция 13: Деревья выражений и деревья поиска. Продолжения
Лекция 14: Введение в л-исчисление
Лекция 15: Нормальный и аппликативный порядок редукции. Теорема Чёрча-Россера
Лекция 16: Описание рекурсивных функций. Комбинаторы и комбинаторная логика
Лекция 17: От л-исчисления к языку программирования
Лекция 18: Замыкания, генераторы и отложенные вычисления
Лекция 19: Последовательности и ленивые вычисления в F#. Мемоизация
Лекция 2: Абстракция и декомпозиция. Декларативное программирования
Лекция 20: Пример: реализация машины Тьюринга
Лекция 21: Типизация в языках функционального программирования
Лекция 22: Формальная семантика языков функционального программирования
Лекция 23: Доказательство свойств программ
Лекция 24: Реализация функциональных языков. Eval-Apply-интерпретаторы
Лекция 25: Реализация функциональных языков: интерпретаторы и абстрактные машины
Лекция 26: Реализация функциональных языков: редукция графов, потоковые реализации
Лекция 27: Анализ искусственных и естественных языков
Лекция 28: Метапрограммирование: Quotations
Лекция 29: Императивное ядро в функциональных языках. Монады. Computational Workflows
Лекция 3: Парадигмы программирования
Лекция 30: Асинхронные и параллельные вычисления
Лекция 4: Функциональное программирование в реальной жизни
Лекция 5: Основные принципы функционального программирования
Лекция 6: Сопоставление с образцом. Рекурсия. Циклы
Лекция 7: Пример: построение графика 2D-функции
Лекция 8: Рекурсивные структуры данных. Списки
Лекция 9: Примеры работы со списками
Лямбда-исчисление
Монады
Моноиды, векторный параллелизм, MapReduce, лекция 6
Программирование на языке Haskell
Просто типизированное лямбда-исчисление
Рекурсия и редукция
Свёртки
Свертки, лекция 5
Системы типов (начало), лекция 9
Трансформеры монад
Функциональное и логическое программирование
Функциональное программирование : Александр Кубенский
Функциональное программирование : Евгений Кирпичёв
Функциональное программирование от CSC
Функциональное программирование от Лекториум
Функциональное программирование от НОУ ИНТУИТ
Функциональное программирование, лекция 1
Функциональное программирование, лекция 2, часть 1
Функциональное программирование, лекция 2, часть 2
Функциональное программирование, лекция 3
Функциональное программирование, лекция 3, часть 1
Функциональное программирование, лекция 3, часть 2
Функциональное программирование, лекция 4, часть 1
Функциональное программирование, лекция 4, часть 2
Функциональное программирование, лекция 5, часть 2
Функциональное программирование, лекция 6, часть 1
Функциональное программирование, лекция 6, часть 2
Функциональное программирование, лекция 7
Функциональное программирование, лекция 8
Функциональное программирование, лекция 9
Язык Scheme. Рекурсия и хвостовые вызовы, лекция 2

Яндекс.Метрика