Согласен, но отсутствие необходимости явной компиляции и приведения типов экономит время, т.е. как бы не то на то, также динамическая оптимизация дает плюсы в производительности, ну и в конце концов, никто не запрещает и в динамике использовать типизацию и соответствующий анализ, сейчас это пока еще очень слабо но дело к тому идет. Короче, предлагаю не скатываться в частности, и не спорить в ключе что статика всегда лучше а динамика это оно)