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

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

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

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

 

 

 

Материалы:

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

 

 




Реклама



Ваше мнение

Видиотека

Рейтинг@Mail.ru

Яндекс.Метрика