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

Материалы:

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