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