Thread
Stories related to "Functional programming books overview" across the full archive.
The author writes:
> "This is the web site for a textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.
> "I'm following an unusual philosophy in this book, so it may ...
Author popped up [in the HN comments](https://news.ycombinator.com/item?id=8750354) to say his previous book Programming Languages: Application and Interpretation "is almost completely subsumed into PAPL".
My friends kept asking me what OCaml is like and why I think it's so great, so I wrote an overview of the language to answer the question once and for all. Fun fact, there's no ocaml tag on lobste.rs.
Epub and Mobi available through http://radar.oreilly.com/2015/07/get-started-with-functional-programming-in-python.html
The Implementation of Functional Programming Languages (1987 Book by Simon Peyton Jones)
(research.microsoft.com)
Plodereder is notable for co-authoring the official reference of Ada 2012 with Tucker Taft.
No longer WIP, and recommended to me as one of the most eye-opening books on OOP (even if you're not a game developer)