Принципы и интерпретация динамических языков программирования 2. Универсализация синтаксиса

В лекции будет проанализирована функция репрезентации для M-выражений. Будет показано, что на основе S-выражений можно построить более выразительный язык, чем на основе любого ad hoc синтаксиса. Будет сформулирована проблема создания библиотечных специальных операторов и рассказано про самое простое решение – макросы. На примере макросов будут разъяснено различие между функцией репрезентации и интерпретатором.

Литература:

1. Kent M. Pitman "The Best of Intentions / EQUAL Rights and Wrongs in Lisp" (единственный источник обращающий внимание на феномен интенциональных типов).