Dependency Injection como característica de idioma?

Question

¿Hay algún lenguaje de programación actual que explícitamente tenga inyección de dependencia como característica de idioma? De ser así, ¿hay algún ejemplo de cómo estos lenguajes de programación usan su sintaxis para separar dependencias de programa de sus implementaciones concretas?

(Tenga en cuenta que no estoy buscando un marco DI/IOC: estoy buscando un lenguaje de programación que tenga esta característica incorporada en el lenguaje).

Answer 1

No encontrará la inyección de dependencia como una función de idioma, ya que generalmente se ve como un patrón de diseño. Los patrones de diseño surgen como soluciones provisionales para las características de idioma faltantes; por ejemplo, si tiene tipos de primera clase como función de idioma, no necesita el patrón de fábrica (consulte p12 de Norvig's presentation), si tiene métodos múltiples como función de idioma, no lo hace Necesito el patrón de envío doble.

La característica de idioma para la cual DI es el patrón de diseño es "módulos paramétricos". Ver el discussion of modules vs DI relacionado con el lenguaje de Gilad Bracha Newspeak

Answer 2

No quiero sonar como un idiota, pero cada idioma de OO admite inyección de dependencia. No se requiere una sintaxis especial. Simplemente construya su objeto con sus dependencias (o establezca sus dependencias más adelante).

En realidad, puede cablear todas sus dependencias en algún lugar cerca de la parte superior del programa, no necesariamente main(), pero cerca de la parte superior.

Answer 3

Noop supuestamente hace esto, pero no he visto las especificaciones del lenguaje (mi paciencia se agotó antes de encontrarla).

Answer 4

Se podría decir que Scala admite la inyección de dependencia de la caja con la ayuda de rasgos y anotaciones de tipo propio. Echar un vistazo en un modelo de la torta:

http://jonasboner.com/2008/10/06/real-world-scala-dependency-injection-di/

Básicamente, este enfoque utiliza rasgos con las dependencias declaradas (mediante el uso de auto-tipos) para que el compilador de hacer el trabajo de cableado juntos.

Este es el registro de la declaración:

object ComponentRegistry extends 
    UserServiceComponent with 
    UserRepositoryComponent 
{ 
    val userRepository = new UserRepository 
    val userService = new UserService 
} 

... registrar el depósito de usuarios:

trait UserRepositoryComponent { 
    val userRepository: UserRepository 

    class UserRepository { 
    ... 
    } 
} 

... y el componente de servicio de usuario que depende del repositorio:

trait UserServiceComponent { 
    this: UserRepositoryComponent => 

    val userService: UserService 

    class UserService { 
    ... 
    } 
}