λ
но проще прост убрать F
Size: a a a
2020 January 28
AS
λ
нуну
λ
sed в помасч
λ
Ну плюс с F не только в этом конечно
Oℕ
Изначальная проблема в том, что на уровне http controller появляется 2 эффекта:
G[_] для Request[G]/Response[G] и F[_] для которого есть MonadError[F, BusinessErr].
И не хочется оба тащить как type params в конструкторе контроллера. G хочется протащить внутри зависимости.
И все уже сошлось кроме места где контроллер создается 😞
G[_] для Request[G]/Response[G] и F[_] для которого есть MonadError[F, BusinessErr].
И не хочется оба тащить как type params в конструкторе контроллера. G хочется протащить внутри зависимости.
И все уже сошлось кроме места где контроллер создается 😞
Оно ещё не раз разойдётся.
Вероятно кода было не очень много, раз сошлось
Вероятно кода было не очень много, раз сошлось
AV
Оно ещё не раз разойдётся.
Вероятно кода было не очень много, раз сошлось
Вероятно кода было не очень много, раз сошлось
А когда оно внедрится?
λ
А когда оно внедрится?
никогда видимо
2020 January 29
AS
Оно ещё не раз разойдётся.
Вероятно кода было не очень много, раз сошлось
Вероятно кода было не очень много, раз сошлось
Да. Уже разошлось в месте где оно планировалось использоваться 😢
Переделываю...
Переделываю...
AV
Плохо. Одна финансовая компания уже внедрила, ТКС уже не самый технологичный
Oℕ
Закодировать семейство типов, чтобы носить несколько тайп-параметров в одном можно, но когда их всего два проще и лучше сделать два тайп-параметра
Oℕ
В ТКС тоже где-то используется, просто не в тревеле
AV
В ТКС тоже где-то используется, просто не в тревеле
Дистейдж-то?
Oℕ
Дистейдж-то?
Да
AS
Да. Уже разошлось в месте где оно планировалось использоваться 😢
Переделываю...
Переделываю...
В самом конце G = IO, a F = EitherT[?, BusinessErr, ?]
Но scalac не понимает что оно так должно быть
Но scalac не понимает что оно так должно быть
AV
Где кровавые подробности?
Oℕ
Где кровавые подробности?
Ну не от меня
AV
Я требую морозных историй
Oℕ
Тот челик с вами, по-моему уже общается
AV
Так на челиках не написано, откуда они...