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.
We found 2 Reddit comments about ML for the Working Programmer, 2nd Edition. Here are the top ones, ranked by their Reddit score.
"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
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.