4 ms·
Ullman, 'Elements of ML Programming'. It's where I learned functional programming back in the 1990's, and I still think it's one of the clearest expositions aro
by madhadron 6y ago
Ullman, 'Elements of ML Programming'. It's where I learned functional programming back in the 1990's, and I still think it's one of the clearest expositions around. Yes, it's the same Ullman who wrote the dragon book.
- shuckles 6y agoI was in office hours with Ullman once, and he was having trouble coming up with a derivation for the runtime complexity of a famous algorithm from a topic unrelated to the class. "This should be easier," he joked, "I came up with this!"
- undecidabot 6y agoUllman's book is really accessible and what introduced me to SML as well, but for those looking for something that goes a little deeper, do read "ML for the Working Programmer" by Lawrence Paulson (author of Isabelle). It has one of the best introductions to ML's module system and even covers building a (toy) tactical theorem prover. Oh, and it's now available online for free as well [1]. Another great book on FP is "The Functional Approach to Programming" [2], which is a bit like SICP but using Caml (OCaml without the O) instead of Scheme. [1] https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html [2] http://pauillac.inria.fr/cousineau-mauny/main.html http://pauillac.inria.fr/cousineau-mauny/main.html