ЛекториумМедиатека
Личный кабинет

Принципы и интерпретация динамических языков программирования 6. Реификаторы

В лекции будет показано, что система команд традиционных машинных языков неадекватно описывает поток управления в исключительных ситуациях. Эти системы команд будут сравнены со схемой реализованной в языке SNOBOL. Опыт SNOBOL будет обобщен и показано, что любое вычисление должно иметь не менее двух продолжений. Будет рассказано, как продолжения могут стать полностью объектами первого класса. Далее на основе этих идей будет решена проблема создания новых специальных операторов, которые вслед за первооткрывателем – Brian Cantwell Smith – будут названы реификаторами.

Демонстрационная (предварительная) версия HEALED LISP

Лекции курса

5
  1. Принципы и интерпретация динамических языков программирования 1. Введение в Lisp
  2. Принципы и интерпретация динамических языков программирования 2. Универсализация синтаксиса
  3. Принципы и интерпретация динамических языков программирования 3. Механизация вычислений
  4. Принципы и интерпретация динамических языков программирования 6. Реификаторы▶ Вы тут
  5. Принципы и интерпретация динамических языков программирования 7. Продолжения и итераторы

Онлайн-курсы по программированию

3