Простейший пример.
Прилетают данные в JSON от нескольких источников, которые мне неподконтрольны. Там одни и те же поля, но кто-то отдаёт их строками, кто-то числами, как попало, и никаких гарантий, что завтра не сделают по-другому, не.
Мне это всё равно переводить в fixed point и запихивать в GMP, поэтому я делаю строковую валидацию на то, числовой ли это аргумент, и дальше уже разбор на "до точки" и "после точки".
Если делать со строгой типизацией - мне надо будет сначала искать разборщик, который сам типы подставит (ага, я не могу на это поле выставить один тип), далее писать проверку, что там с разборщика реально прилетело, потом делать тайпкаст всего этого счастья в строку, и только потом с ней работать.