[ЖЖ] [вещества] Dependency injection

Пишу тут на Жабе новое API с использованием Guice, и закралась мысль: а почему бы не сделать это на уровне языка?

Что-нибудь типа:

public class Foo expects List<String>, Calendar {
    public void bar() {
        List<String> list = inject List<String>();
        
        for(int i = 0; i < 5; i++) {
            Calendar cal = inject Calendar();
            cal.add(Calendar.MONTH, -5);
            list.add("Date " + i + " months ago: " + cal);
        }
        
        ...
    }
}

public injector MyInjector {
    List<String> = ArrayList<String>,
    Calendar = GregorianCalendar,
    ...
    @Singleton AbstractFooService = DefaultFooService
}

public static void main(String[] args) {
    CoreObject obj = new(MyInjector, OtherInjector) CoreObject();
    Foo foo = obj.getBar().getFoo();
    ...
}

В чём плюсы:
- Большинство аннотаций заменится конструкциями языка; можно оставить аннотации для поведения "не по умолчанию"
- Отпадёт необходимость в извращениях с синтаксисом, типа (пример реальный)

binder.bind(new TypeLiteral<Map<String, Integer>>() {}).to(new TypeLiteral<HashMap<String, Integer>>() {});

- Многое можно будет проверить на этапе компиляции