Язык Scheme. Рекурсия и хвостовые вызовы, лекция 2

Подробности

Категория: Функциональное программирование : Евгений Кирпичёв

Язык Scheme. Рекурсия и хвостовые вызовы, лекция 2, Курс: Функциональное программирование, Лектор: Евгений Кирпичёв , Организаторы: Computer Science клуб при ПОМИ РАН

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

Материалы:

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