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