а в продакшене ошибки не всплывают из-за того что где-то тип недосмотрели ?
К сожалению, к 100% strict-typed кода мы пока не пришли (да и к полноценным 100% вряд ли придем, пока эту фичу не будут на 100% реализовывать современные фреймворки, ну или либо пилить самопал). У меня на одном из проектов 100% strict-typed сделан слой моделей и слой бизнес-логики, а контроллеры, роутеры, хелперы и прочее не типизировались. Эти вещи довольно просто было покрыть тестами (проект небольшой, логики не очень много), и поэтому ошибок с недосмотром типов не было в продакшене