Not to be a ML/Haskell weenie, but dynamic languages aren't the only ones that don't require writing out every single damn type. We've had type inference since

Not to be a ML/Haskell weenie, but dynamic languages aren't the only ones that don't require writing out every single damn type. We've had type inference since 1982, thanks to Hindley and Milner, and you get free compiler-enforced testing that your function arguments are of the proper polymorphic type.