Thu Oct 13 15:20:10 EDT 2011


There is something extraordinary about programming with strong typing.
I spend a lot of time trying to come up with correct types for doing
program transformations.  Sometimes it seems like a total waste but
when things fall in place, usually the elegance shines.

At this point it feels as if I'm never really going to "get it".  As
if there is so much structure hidden behind the deceptively simple
constructs of type classes.