Dan Friedman

Daniel P. Friedman is a professor of Computer Science at Indiana University known for his influential work in programming languages and computer science education. His most recognized contributions include the development of programming language concepts and his series of educational books known as "The Little Schemer" series. Friedman's research has focused on programming language semantics, implementation, and design. He developed key ideas in lazy evaluation and helped advance the understanding of Scheme programming language principles. Through his teaching career spanning several decades, Friedman has shaped computer science education through innovative approaches to teaching programming concepts. His co-authored works, including "The Little Schemer," "The Seasoned Schemer," and "The Reasoned Schemer" have become standard texts in many computer science programs. Friedman's impact extends beyond his published works through his development of teaching methodologies that emphasize recursive thinking and problem-solving skills. He continues to influence computer science education through his role at Indiana University and his ongoing contributions to programming language theory.

Readers highlight Friedman's clear explanations of complex programming concepts and his systematic teaching approach. Programming language students and instructors regularly reference his "Little" series books, particularly "The Little Schemer" and "The Little LISPer." Readers appreciate: - Progressive difficulty that builds understanding - Dialog format that encourages active learning - Humor and playfulness in technical writing - Focus on mental models over syntax Common criticisms: - Questions can feel repetitive - Dialog style takes getting used to - Some readers want more practical applications - Price point considered high for slim volumes Ratings across platforms: Goodreads: The Little Schemer: 4.2/5 (1,100+ ratings) The Little LISPer: 4.1/5 (300+ ratings) Amazon: The Little Schemer: 4.5/5 (180+ reviews) The Little LISPer: 4.3/5 (40+ reviews) Most reader reviews emphasize the books work best when solved actively rather than just read passively.

The Little LISPer (1974) An introduction to recursive programming and symbolic computation using the LISP programming language.

The Little Schemer (1995) A revised version of The Little LISPer that uses the Scheme programming language instead of LISP.

The Seasoned Schemer (1995) A continuation of The Little Schemer that covers more advanced topics in functional programming.

A Little Java, A Few Patterns (1998) An exploration of object-oriented programming concepts using Java and design patterns.

The Reasoned Schemer (2005) An introduction to logic programming and relational programming using miniKanren.

The Little Prover (2015) A guide to theorem proving and mathematical reasoning using the ACL2 theorem prover.

The Little Typer (2018) An introduction to dependent types and type theory using the Pie programming language.

Essentials of Programming Languages (1991) A textbook on programming language concepts and interpreter implementation.