Карринг и ленивые вычисления

Пятница, 02 марта 2012, 18:30–19:50
ФМЛ 239, Актовый зал

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

func_prog_lecture_020312.pptx

Описание

  • Частичная параметризация функций. Карринг и сечения.
  • Функциональное представление множеств.
  • Ленивые вычисления и бесконечные списки.