Thursday, March 6, 2008

Total silence

Crickets chirp. Somewhere a faint voice calls out “Freebird!

Actually, Rebecca Frankel suggested that “you embed a monad in a lazy language to provide ‘local strictness’ and a comonad in a strict language to provide ‘local laziness’.” I don't have my head wrapped around monads securely, so I'm very fuzzy on the notion of comonads. However, I've read that streams (that is, lazy lists, not character streams) are comonads.