I agree that some type systems are infuriating. They demand highly verbose code, and offer almost no protection in exchange for your effort. However, not all t

I agree that some type systems are infuriating. They demand highly verbose code, and offer almost no protection in exchange for your effort. However, not all type systems are equal. Haskell (for example) almost never requires explicit type annotations. It has a type inference system that is sometimes frighteningly good. You can express a huge amount of logic through the type system and enforce very non-trivial constraints. I've been writing Ruby for 7 years, and I've loved every moment of it. It's a wonderful language. That said, I usually have to spend quite a bit of time getting my code to work correctly. In Haskell, by the time I get to the point where the type checker approves of my code, it usually works as I intended the very first time I run it. It's a wonderful feeling.