Rabbit: A Compiler for Scheme

Rabbit: A Compiler for Scheme documents the development of one of the first Scheme compilers in the late 1970s. The text outlines the technical implementation details and design decisions made during the creation of this groundbreaking compiler system. The book presents the full source code and explains the compilation techniques used to translate Scheme programs into machine code. It details the specific approaches for handling Scheme's distinctive features like tail recursion, lexical scoping, and first-class procedures. The implementation demonstrates methods for compiler optimization and runtime system design that influenced many subsequent programming language implementations. This work served as a foundation for later Scheme implementations and compiler technology. The text illustrates key principles about the relationship between programming language design and practical implementation constraints. Through its technical documentation, it captures an important moment in the evolution of programming languages and compiler technology.

There are not enough internet reviews to create a summary of this book. Instead, here is a summary of reviews of Guy L. Steele Jr.'s overall work: Technical professionals value Steele's clear, precise explanations of complex programming concepts. His books serve as reference materials rather than tutorials. What readers liked: - Thorough documentation and attention to detail in "Common Lisp the Language" - Precise technical writing style that leaves no ambiguity - Comprehensive coverage of language specifications What readers disliked: - Dense, academic writing can be challenging for beginners - Some readers found "Common Lisp the Language" too formal and reference-like - Older editions contain outdated information Ratings snapshot: - Common Lisp the Language (2nd ed): 4.4/5 on Goodreads (72 ratings) - C: A Reference Manual: 4.1/5 on Amazon (46 ratings) Reader quote: "Steele writes with mathematical precision. Every word matters and nothing is redundant. Not for casual reading but invaluable as a reference." - Goodreads reviewer The books maintain high ratings among experienced programmers despite their age, though newer programmers sometimes struggle with the formal tone and academic approach.

Compiling with Continuations by Andrew W. Appel This text details the implementation of functional programming languages through continuation-passing style and explains how to build optimizing compilers for ML-family languages.

Essentials of Programming Languages by Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes The book presents fundamental concepts of programming language design through interpreters written in Scheme, building from basic evaluators to advanced language features.

Lisp in Small Pieces by Christian Queinnec The text provides a comprehensive exploration of Lisp implementation techniques through the progressive development of interpreters and compilers.

Modern Compiler Implementation in ML by Andrew W. Appel This work presents compiler construction techniques from lexical analysis to register allocation with implementations using Standard ML.

Engineering a Compiler by Keith Cooper, Linda Torczon The book examines compiler construction techniques with focus on optimization and code generation phases while providing practical implementation strategies.

🔹 Guy L. Steele Jr. wrote Rabbit when he was just 21 years old at MIT, and it became one of the first Scheme compilers ever created (1978) 🔹 The Rabbit compiler transformed Scheme code into RABBIT - an intermediate language designed to be easily translatable to machine code while preserving the essence of functional programming 🔹 The techniques developed in Rabbit influenced many subsequent Scheme implementations and laid groundwork for important concepts in compiler optimization, particularly tail-call optimization 🔹 Steele went on to become one of the most influential figures in computer science, helping create the Common Lisp language and serving as a key contributor to the Java language specification 🔹 The compiler's name "Rabbit" was inspired by John McCarthy's work on LISP, where he used the metaphor of a rabbit population to explain recursive functions - a core concept in functional programming