Функциональное программирование. Лекция 2

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

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

Страница лекции на сайте Computer Science клуба