ML for the Working Programmer
#1592 of 2,654 all-time
ML for the Working Programmer
Larry C Paulson
4 people recommended it in 4 threads, 2015–2022.
1 commenter pushed back on it — worth reading the threads.
What people on Hacker News said
It's a thoughtful treatment of functional programming that happens to use ML, and a book I enjoy reading rather than just referring to.
It has one of the best introductions to ML's module system and even covers building a (toy) tactical theorem prover.
I learned a lot (particularly the beauty of recursive functions) reading the first half of ML for the Working Programmer.
I would also add "ML for the working programmer", which is, perhaps surprisingly, more about functional programming than the particularities of ML.
Where it comes up
- Ask HN: The book that did it for you in math and/or CS? 2022 · 1 recommendation
- Ask HN: Best books under 200 pages for developers? 2020 · 1 recommendation
- Ask HN: What are the best textbooks in your field of expertise? 2018 · 1 recommendation
- Ask HN: What are the latest and greatest books on your favorite language? 2015 · 1 recommendation