Язык Scheme. Рекурсия и хвостовые вызовы, лекция 2
defaultValue- Подробности
- Категория: Функциональное программирование : Евгений Кирпичёв
Язык Scheme. Рекурсия и хвостовые вызовы, лекция 2, Курс: Функциональное программирование, Лектор: Евгений Кирпичёв , Организаторы: Computer Science клуб при ПОМИ РАН
В лекции дается введение в язык Scheme на примере нескольких простых программ, а затем рассматривается явление рекурсии, хвостовые вызовы и связанные с ними техники построения и преобразования программ. Также кратко рассматривается "вполне обоснованная рекурсия" как метод доказательства завершаемости программ.
Материалы:
- http://tinyurl.com/2-scheme-recursion
- Номер 3 журнала "Практика функционального программирования" http://fprog.ru/2009/issue3/, статья "Элементы функциональных языков", главы "Хвостовой вызов" и "Структурная и вполне обоснованная рекурсия".
defaultValue
