Where to StartThis blog probably makes most sense read in forwards chronological order rather than backwards, especially if you're new to the material; in that case, you might want to start at the beginning.
It appears that the Wordpress latex plugin has changed since I wrote these posts, and some chunks of latex that used to work no longer do so. You'll see messages saying "you must stay in inline math mode" in place of some calculations. I'll fix these as I can. Sorry!
Monthly Archives: December 2010
I read quite a nice problem on Nick Wu’s blog, which will serve as a fine warm-up exercise. It’s about the fact that streams (infinite lists) form a monad, in a different way from lists. Nick shows the “right” and … Continue reading
Well, I got side-tracked from working directly on the book. One of the sidetracks was working on my paper Design Patterns as Higher-Order Datatype-Generic Programs from the Workshop on Generic Programming in 2006, revising and extending it for a journal; I’ve … Continue reading