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

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

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