λ
Поделитесь, как бы Вы выразили DI в терминах линейной логики
Не души плиз :(
Size: a a a
2020 March 07
Oℕ
Ну там ещё есть правило исключенного третьего, которое, кмк, никак на DI не натягивается
Там есть много других правил.
Oℕ
Идея в том, чтобы использовать структурные и cut
Oℕ
Ну там ещё есть правило исключенного третьего, которое, кмк, никак на DI не натягивается
В линейной логике тоже есть ослабленные аналоги правила исключённого третьего и двойного отрицания
DN
Вроде должна появиться при первом использовании (Build / Run Worksheet)
@odomontois появилась?
Oℕ
@odomontois появилась?
Не садился пока за ИДЕ
2020 March 08
Y
что в скале заюзать для DI, guice или macwire?
D
distage
Y
чето сложное
Y
guice попроще выглядит гораздо
Y
какойто injector синглтон инстанс
SA
что в скале заюзать для DI, guice или macwire?
если не используете F[_], то можно и то, и то. guice отлично работает с не-фп скалой.
Y
а че там IO делает, разве DI ето сайд ефект?
SA
а че там IO делает, разве DI ето сайд ефект?
продвинутый DI - да. т.к. создание экземпляра синглтона - это эффект, точнее, ресурс
US
а че там IO делает, разве DI ето сайд ефект?
Создание зависимостей может им быть
AV
guice попроще выглядит гораздо
Джус намного медленнее и у него процентов 5 от возможностей дистейджа
AV
какойто injector синглтон инстанс
Это не синглтон, а фабричный метод. Синглтонов в дистейдже нет
Y
по обычному в конструктор нельзя там инжектить инстансы?
AV
а че там IO делает, разве DI ето сайд ефект?
Внутри диая может быть много эффектфул действий. Дистейдж может работать без ио-используй Identity
AV
по обычному в конструктор нельзя там инжектить инстансы?
Можно. Доку посмотри