4 ms·
Yes, and the associated book (CTM, http://www.info.ucl.ac.be/~pvr/book.html http://www.info.ucl.ac.be/~pvr/book.html) is excellent, in much the same way as SICP
by silentbicycle 18y ago
Yes, and the associated book (CTM, http://www.info.ucl.ac.be/~pvr/book.html http://www.info.ucl.ac.be/~pvr/book.html) is excellent, in much the same way as SICP. It's an in-depth tour of several major programming paradigms. They show relevant parts of Oz used for, say, lazy evaluation or OO, and then talk about the paradigm's strengths, how it affects reasoning about programs using it, etc. The writing is very clear, without shying away from being challenging.
There's a PDF draft version online (http://lambda-the-ultimate.org/node/3108#comment-45392 http://lambda-the-ultimate.org/node/3108#comment-45392), but after a chapter or so I decided to just get the hardcover.