В 2022 году Computer Science Center приостановил набор и обучение
Курсы
/
Функциональное программирование
/
весна 2015
/

Введение в Haskell

Среда, 04 марта 2015
Таймс, ауд. 404
Список тем / 12 записей
    1.
    Лямбда-исчисление
    2.
    Рекурсия и редукция
    3.
    Просто типизированное лямбда-исчисление
    4.
    Введение в Haskell
    5.
    Программирование на языке Haskell
    6.
    Классы типов
    7.
    Свертки
    8.
    Аппликативные функторы
    9.
    Монады
    10.
    Использование монад
    11.
    Трансформеры монад
    12.
    Вывод типов

Слайды с лекции

func_prog_lecture_040315.pdf

Приложенные файлы

fp04_zUF1b8R.hs

Описание

Стандарт языка. Компилятор GHC. Интерпретатор GHCi. Hoogle. Связывание. Кодирование функций. Рекурсия. Основные синтаксические конструкции. Система модулей. Частичное применение, каррирование. Инфиксные операторы, сечения. Бесточечный стиль.