Re: Template Insanity

Somebody is significantly more insane than I am. Both C++ template metaprogramming and Haskell type metaprogramming in the same blog entry?

sigfpe: Monads, Kleisli Arrows, Comonads and other Rambling Thoughts

This is one of the best discussions of monads (and comonads) I have read.

Oh, and this is pretty neat, too. (Cellular automata in about four (ok, 20 or 30; but only a few are important) lines of code.)