I don't find compile-time type checking useless in either of those languages. It's relatively verbose, given the lack of type inference, but it still catches lo

I don't find compile-time type checking useless in either of those languages. It's relatively verbose, given the lack of type inference, but it still catches lots of errors at compile time that would otherwise be runtime errors.