Yes. This is yet another post against static typing, that does not compare against the best languages the static typing world has to offer. Let's compare with a type-inferencing Hindley-Milner-based language.