Ну и в целом dependency injection нужен для решения проблемы создаваемой самим ООП.
Нет ООП - нет проблемы, не нужен injection

DI как вариант полиморфизма

DI связан с полиморфизмом, конечно, но ни в коей мере не является его "вариантом"

а как правильно сказать?

Откуда вообще в ООП зависимости, что их необходимо инвертировать? Оттуда, что обычный ООП-стиль конструирования программ - это наинстанцировать объектов и засовывать их друг в друга. Отсюда высокая сложность чтения ООП-кода собранного на основе интерфейсов - нужно понимать, какая реализация засунута в эту зависимость, какая в эту. Бывают тяжёлые случаи, когда зависимости вычисляются на лету, и простым чтением понять невозможно, приходится код запускать и интроспектить. Рано или поздно ООПшник приходит к мысли, что лучше иметь по одной реализации на интерфейс. Но тогда чем это будет отличаться от чистых не привязанных к контексту функций с хардкодными зависимостями? Ничем. Эликсир-код проще читать чем ООП-лапшу.

паттерн dependency inversion основывается на полиморфизме.
dependency injection - это утилитарная механизация, автоматическая инстанциация и вайринг зависимостей поверх dependency inversion.

Я думал, Dependency Inversion основывается на отделении эффектов от чистых вычислений. Или это другой dependency inversion (потому что я хз, где там полиморфизм)?

паттерн dependency inversion основывается на полиморфизме.
dependency injection - это утилитарная механизация, автоматическая инстанциация и вайринг зависимостей поверх dependency inversion.

А как это по-русски переводится?

паттерн dependency inversion основывается на полиморфизме.
dependency injection - это утилитарная механизация, автоматическая инстанциация и вайринг зависимостей поверх dependency inversion.

> это утилитарная механизация, автоматическая инстанциация и вайринг зависимостей поверх dependency inversion.

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

Я думал, Dependency Inversion основывается на отделении эффектов от чистых вычислений. Или это другой dependency inversion (потому что я хз, где там полиморфизм)?

это всё тупые кальки с английского, в чем проблема?
я не очень в курсе русскоязычной терминологии