Ну это на лиспе - это немного не то, к тому же без комментариев. В SICP тоже есть пример метациклического интерпретатора, причём с подробнейшими комментариями. Правда, я эту главу до сих пор не прочёл, ибо появились другие дела. Я имел в виду интерпретатор на более "низкоуровневом" языке навроде С++.
Кстати, ещё один вопрос. Я слышал много хвалебных отзывов о механизме макросов в лиспе (насколько я понял, в scheme это define-syntax). Однако в SICP я когда искал, то не нашёл об этом ни одного упоминания (хотя, возможно, я плохо искал). Хотелось бы ссылку на хорошую статью, посвящённую этому вопросу.