OCaml Programming: Correct and Efficient and Beautiful
Report a link problem
Submission timeline
2007–2026One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.
First comments on top threads
HN comment orderA quick scroll through the comments and it looks like no one is actually talking about the book itself, so I will. I came across it at a really good time in my computer science self education. It helped me learn about some essential data structures and algorithmic analysis. The video lectures interspersed in the text augment the text and vice versa. The sections without videos were tougher for me to digest, but are written clearly and bear revisiting and…
Apart from being tied with Jane Street's libraries, Real World OCaml is "deeper" in that it also talks about implementation details. This book has a more "introduction to functional programming via OCaml" vibe. Both are good textbooks with different emphases. The main author Michael Clarkson also started a similar lecture series on Software Foundations using Rocq (Coq)[1]. Not sure if that's still updated though. [1]: https://github.com/clarksmr/sf-lectures
Videos are embedded in the book text. For people that prefer videos only, this is the playlist: https://www.youtube.com/playlist?list=PLre5AT9JnKShBOPeuiD9b...
The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.
- Breakout years
- 2
- Total points
- 502
- Total comments
- 294
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2021-08-25 | OCaml Programming | hacknrk | 5 | 0 |
| 2021-11-12 | OCaml Programming: Correct and Efficient and Beautiful | bytelane | 4 | 0 |
| 2022-04-30 | OCaml Programming: Correct and Efficient and Beautiful (Book and Videos) | AlexeyBrin | 3 | 1 |
| 2022-06-23 | OCaml Programming: Correct and Efficient and BeautifulFirst breakout · Best thread | philonoist | 347 | 239 |
| 2024-01-26 | OCaml Programming: Correct and Efficient and Beautiful, 2024 Edition | sebg | 5 | 0 |
| 2025-07-26 | OCaml Programming: Correct and Efficient and BeautifulHall induction · Latest 20+ point return | smartmic | 138 | 54 |