Reddit Reddit reviews ML for the Working Programmer, 2nd Edition

We found 2 Reddit comments about ML for the Working Programmer, 2nd Edition. Here are the top ones, ranked by their Reddit score.

Computers & Technology
Books
Computer Programming
Software Design, Testing & Engineering
Software Development
ML for the Working Programmer, 2nd Edition
Check price on Amazon

2 Reddit comments about ML for the Working Programmer, 2nd Edition:

u/awwaiid · 5 pointsr/programming

"ML For The Working Programmer" has a chapter on lambda calc, and guides you through an implementation. http://www.amazon.com/ML-Working-Programmer-Lawrence-Paulson/dp/052156543X

u/paultypes · 1 pointr/scala

Yeah. I'd say the closest I've found in spirit is probably ML for the Working Programmer, which is a bit mis-titled, because I don't know how many "working programmers" want to end up developing an automated proof assistant. So I tend to think of the book as kind of Paulson's recapitulation of the history of ML's development, which took place in the context of developing the LCF family of proof assistants, kind of like PAIP is Norvig's reconstruction of "classical" AI development, which ends up teaching us quite a bit about how to use Common Lisp effectively in the process.