This is why I like strong static typing. Instead of bad programmers making a mess of the language, the compiler makes a mess of them. (I'm half-joking, since t

This is why I like strong static typing. Instead of bad programmers making a mess of the language, the compiler makes a mess of them. (I'm half-joking, since there are a variety of bad programmers and not all are of the "can't get code to compile" variety. Actually, the most dangerous bad programmers are the high-IQ bad programmers, but that's another rant. Still, I think it's true that the discipline enforced by languages like ML and Haskell turns a lot of bad programmers away.)