Там же расставляются зависимости от других компонентов

Например в вебе, я получаю данные, обрабатываю, кладу в базу, по запросу дергаю, отдаю юзеру и в случае кложи это как правило мапа или массив мап и на входе и на выходе и даже в базе. Есть валидация на входе, которая отсекает не валидные данные, есть тесты, есть аннотации типов, но это скорее как помощь компилятору, а не обязанность. Теперь вопрос, где в этом потоке требуются типы и что они дают/какую ценность добавляют, и чем приходиться за это платить?

Это в IoC контейнерах расставляются, а IoC - это принцип

Требуются - нигде

Раз можно писать без них - они не необходимы

И вообще, как @dshevchenko правильно заметил - доказывать ничего не обязаны

Люди тут настроены большей частью предвзято, тем более

Вам так живётся - живите

IoC - это принцип инверсии контроля, при котором нам как клиентскому коду не разрешается вызывать некоторую зависимость напрямую, а только через интерфейс, который нам передают извне. При этом даже если у вас компонент всего один, и никаких прочих нет, то IoC - можно и нужно делать.

Да вроде везде прокидывается сущность снаружи. Может кроме редких костылей. И типы тут вообще ни при чём

Типы ортогональны принципу, но лучше, когда они есть

Не, я не в плане доказать что либо, мне интересно с практической точки зрения.

Уверен что не интересно

Сорри

Ну, либо кто-то другой ответит

У меня нет желания кложуристам что-то говорить про типы)

Ну и я итак не большой знаток

Так что не много потеряли!

Поэтому и шаблон зависимостей.

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