Dependency Injection is a concept.
You can "implement" DI in functional languages ββusing this (ability to pass functions as parameters). There can be many ways to achieve DI, and each language can have its own ways to implement DI.
DI is a specialized form of IoC. Thus, all DIs are IoC, but not vice versa. Therefore, you are right in saying that this use of DI leads to IoC.
source share