# Types and Programming Languages by Benjamin C. Pierce

7 Hacker News commenters recommended Types and Programming Languages by Benjamin C. Pierce and 0 criticized it, November 2025 to November 2026. It was recommended in 4 of 13 months.

**Verdict:** Recommended as the main book on type systems for its good coverage, though critics find its type-system treatment rudimentary and less grounded than CI.

## Why people recommend it

- Recommended as the main book (1 comments): "The main book I can recommend is Types and Programming Languages by Pierce." ([source](https://news.ycombinator.com/item?id=47731941))
- Good coverage of type systems (1 comments): "has some great coverage of this topic" ([source](https://news.ycombinator.com/item?id=50136241))

## What people warn about

- Rudimentary type system coverage (1 comments): "this book gives extremely rudimentary information on type systems" ([source](https://news.ycombinator.com/item?id=48796826))
- Less grounded than CI (1 comments): "It's not a bad book, but less grounded than CI" ([source](https://news.ycombinator.com/item?id=47779072))

## Alternatives hackers recommend

- [Structure and Interpretation of Computer Programs by Abelson and Sussman](https://hackerapproved.com/p/structure-and-interpretation-of-computer-programs.md): 55 recommend
- [The Art of Computer Programming by Donald E. Knuth](https://hackerapproved.com/p/art-of-computer-programming.md): 28 recommend
- [Structure and Interpretation of Computer Programs by Abelson and Sussman](https://hackerapproved.com/p/sicp.md): 12 recommend
- [Quantum Computation and Quantum Information by Nielsen and Chuang](https://hackerapproved.com/p/quantum-computation-and-quantum-information.md): 12 recommend
- [Digital Design and Computer Architecture by Harris and Harris](https://hackerapproved.com/p/digital-design-and-computer-architecture.md): 8 recommend

## Where to get it

- [See price on Amazon](https://www.amazon.com/dp/0262552671?tag=hackerapprove-20) (affiliate link)
- [Bookshop.org](https://bookshop.org/a/130825/9780262552677) (affiliate link)

## Cite as

Hacker Approved, "Types and Programming Languages by Benjamin C. Pierce", https://hackerapproved.com/p/types-and-programming-languages/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).