Инструменты пользователя

Инструменты сайта


courses:functional_programming:practice

Домашние задания

Решения первых трех заданий(λ-исчисление и типы) присылаются на почту.
Формат: предпочтительно - pdf(лучше верстать в LaTeX), но можно и markdown или даже plain text в кодировке utf8.
В теме письма обязательно укажите [leti_fp]. Также в письме не забудьте указать группу и ФИО.

λ-исчисление и типы

  1. Подстановка, комбинаторы, логические значения, нумералы Чёрча
    Дедлайн 20.09.2018 23:59(MSK)
    Задание
    Исходник(LaTeX)
  2. Нумералы Чёрча, списки, комбинаторы неподвижной точки, редукционные графы, нормальные формы(NF,HNF,WHNF)
    Дедлайн 04.10.2018 23:59(MSK)
    Задание
    Исходник(LaTeX)
  3. Простое типизированное λ-исчисление (λ→)
    Дедлайн 18.10.2018 23:59(MSK)
    Задание
    Исходник(LaTeX)

Haskell

  1. Введение в язык
    Дедлайн 01.11.2018 23:59(MSK)
    Задание
  2. Списки, ADT, typeclasses, fold*, Semigroup, Monoid, Foldable
    Дедлайн 30.11.2018 23:59(MSK)
    Задание