Более сильная система типов существенно упрощает понимание кода и позволяет избавиться от множества классов ошибок (как например F# в сравнении с C#, или TypeScript и JavaScript, или Kotlin и Java, или Rust и C++), потому что существенно ограничивает пространство допустимых компилируемых состояний вашего кода.

...пока вы не получите непонятную ошибку типа, которая не имеет видимого смысла, и с которой совершенно непонятно что делать :)

Теперь вам нужно приложить дополнительные усилия (вплоть до переписывания всего с нуля), чтобы убедить систему типов в том, что она правильная.