Интерпретация Лиспа и Scheme
Эта книга представляет собой перевод классического труда Кристиана Кеннека «Lisp in Small Pieces» (оригинальное название «Les Langages Lisp»). Она посвящена глубокому изучению принципов интерпретации и реализации языков программирования семейства Lisp, включая Scheme.
Книга начинается с основ интерпретации, объясняя базовые вычислительные модели, представление окружений, функций и различия между динамической и лексической областями видимости. Далее она подробно рассматривает различные диалекты Lisp, такие как Lisp1 и Lisp2, анализируя их архитектурные различия, пространства имён и механизмы рекурсии.
Значительная часть материала посвящена продвинутым концепциям, таким как продолжения (continuations), формы управления потоком выполнения (catch/throw, block/return-from) и внутреннее устройство интерпретаторов. Книга сочетает теоретические объяснения с практической реализацией, что делает её ценным ресурсом для понимания того, как работают языки программирования на фундаментальном уровне.
