Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Язык Scheme. Рекурсия и хвостовые вызовы.
Функциональное программирование


Что: Лекция
Когда: Воскресенье, 12 сентября 2010, 13:00–14:35
Где: ПОМИ РАН

Описание

В лекции дается введение в язык Scheme на примере нескольких простых программ, а затем рассматривается явление рекурсии, хвостовые вызовы и связанные с ними техники построения и преобразования программ. Также кратко рассматривается вполне обоснованная рекурсия как метод доказательства завершаемости программ.

Материалы:

  • http://tinyurl.com/2-scheme-recursion
  • Номер 3 журнала Практика функционального программирования http://fprog.ru/2009/issue3/, статья Элементы функциональных языков, главы Хвостовой вызов и Структурная и вполне обоснованная рекурсия.

Видео