I was reading this. This made me laugh: "No, category theory doesn't allow that, because it's not elegant... Hey man: who's wrong? The person who's trying to write the program, or the type system?" http://steve-yegge.blogspot.nl/2008/05/dynamic-languages-strike-back.html