P1) Typing makes people jump through hoops.
P2) Some people don't like jumping through hoops, because it means they have to think about what they're doing, which they don't normally.
P3) People who don't normally think about what they're doing are more likely to write unsafe code.
C1) People who don't like types are more likely to write unsafe code.
Of course, I'm clearly not going to come close to changing your mind, and I don't really care that much. I just fancied poking you with a stick, a bit.
|