На самом деле из те, кто так говорит, слабо представляют, что именно они получают от тайпчекера. Их представления о системах типов не сильно выходят за ожидания от тайпчекера C или Java (с её NPE). И это ещё в лучшем случае, потому как множество современных программистов начинает свой путь с языков, имеющих очень жидкую систему типов. Нередко, проработав 5-7 лет, они так и не могут представить те возможности, которые им дают обогащенные системы типов, поскольку никогда не имели практического опыта от столкновения с ними.