В этой книге в качестве метаязыка для представления всех концепций и примеров используется функциональный язык программирования (F#), поэтому она имеет операционный характер, позволяющий проводить практические эксперименты и упражнения. Он включает в себя базовые концепции, такие как абстрактный синтаксис, интерпретация, стековые машины, компиляция, проверка типов, сборка мусора и реальный машинный код. Также включены более сложные темы по полиморфным типам, выводу типов с использованием унификации, ко- и контравариантным типам, продолжениям и обратной генерации кода с оперативной оптимизацией. Второе издание включает две новые главы. В одной из них описывается компиляция и проверка типов полнофункционального языка, связывающие воедино предыдущие главы. Другой описывает, как скомпилировать подмножество C на реальное (x86) оборудование как плавное расширение ранее представленных компиляторов. В примерах представлены несколько интерпретаторов и компиляторов для игрушечных языков, включая компиляторы для небольшого, но полезного подмножества C, абстрактных машин. , сборщик мусора и вывод полиморфного типа в стиле ML. В каждой главе есть упражнения.

Концепции языка программирования охватывают практическое построение лексеров и парсеров, но не регулярных выражений, автоматов и грамматик, которые уже хорошо рассмотрены. В нем обсуждаются дизайн и технологии Java и C#, которые помогают учащимся лучше понять эти широко используемые языки.