GIGO: words unreadable aloud

CTM arrived, squashed my dog

For two or three years, I've been seeing references to PvR's CTM book, and I even snagged the entire text of an online draft a while ago. PvR is Peter Van Roy, and CTM is "Concepts, Techniques, and Models of Computer Programming", a work of astonishing breadth that covers in great detail most of the ways that people think about programming these days. (It's actually a collaboration between PvR and Seif Haridi. PvR is the more visible of the two, being more active on LtU, for example.)

I ordered a physical copy of the book a while ago, and just received it yesterday. Man, it is heavy, and I don't mean philosophically. It's a big book, around 900 large pages. Not the sort of thing you'll be slipping into your backpack for idle reading on the train ride to work.

Anyway, LtU user rumplestiltskin mentioned the book, with a quite cryptic "stuck with" and "FC3".

Chris Rathman responded by adding a few links:

the main site for the CTM book itself;
Mozart/Oz mailing lists (Mozart is the IDE, and Oz is the multi-paradigm programming language that unifies the book's treatment of such diverse programming styles);
There is a wiki for folks going through the CTM book, for personal learning, for teaching courses, or for the physical exercise (it is a heavy book after all).
Finally, Chris points to his work-in-progress page on the CTM wiki, which uses the statically typed Alice ML language to re-implement many of the Oz examples from CTM. FWIW, Chris also has a page that will collect translations of the scheme examples from SICP into Alice ML.

(By the way, when rumplestiltskin says "FCn", that refers to Red Hat's "Fedora Core n" series of Linux releases, where n = 1, 2, or 3.)
12:24:54 PM comment/