K
Ты постоянно юзаешь
local и меняешь енв в рамках блока?у нас есть свой а-ля ридер, называется
trait Env[-R, +A]{
def run(r: R): monix.Task[A]
}
и есть ZIO
Size: a a a
2020 September 08
Oℕ
и есть тупеклассы, чтобы примерно одинаково работать с
Env[R, A], ZIO[R, E, A] и ReaderT[IO, R, A]
Env[R, A], ZIO[R, E, A] и ReaderT[IO, R, A]
Oℕ
Ты постоянно юзаешь
local и меняешь енв в рамках блока?иногда случается
Oℕ
но чаще просто порождаю контексты с информацией о трейсинге (распределённом), микроконфигами, и другой контекстной штукой
Oℕ
есть ещё экспериментальная тема, чтобы таскать в ридере имлементации a-la Has
NV
Если юзать спрятанный ридер то я не понимаю в чем его роль вообще, ведь все тайпклассы читающие из ридера могут просто не читать из ридера, а быть оопными классами
что значит оопными классами?
Oℕ
что значит оопными классами?
ну видимо что-то с мутабельным стейтом
Oℕ
вместо функций
K
что значит оопными классами?
Вместо того чтобы иметь тайпкласс который потом читает что-то в методе, параметризировать класс при конструкции
=>
class Has f r Data => MyShit f where method :: f a
=>
final class MyShit[F[_]](data: Data) { def method: F[A] }NV
интересно
𝛈µ
Все-таки для динамических контекстов ридер удобнее и надо начать его активнее внедрять
Oℕ
Вместо того чтобы иметь тайпкласс который потом читает что-то в методе, параметризировать класс при конструкции
=>
class Has f r Data => MyShit f where method :: f a
=>
final class MyShit[F[_]](data: Data) { def method: F[A] }тогда data должна быть одна на все экземпляры запусков
Oℕ
туда не запихнёшь трейснинг, реквест контекст и локальные микроконфиги
NV
тогда data должна быть одна на все экземпляры запусков
он предлагает создавать MyShit на каждый запуск/запрос с нужным контекстом в аргументе
NV
если я правильно понял
Oℕ
он предлагает создавать MyShit на каждый запуск/запрос с нужным контекстом в аргументе
не думаю
K
Нужно сделать тупеклассик который для
F[+_, +_] будет выдавать новый контекст в котором видно что этот F <~> F1[-_, +_, +_] где F1 новая переменнная тогда может будет удобнее. А то я пытался заюзать три дырки в аппе где везде две дырки и было как-то жутко неудобно.K
не думаю
Да нет, предлагаю. Когда много локальных контекстных параметров я делаю классы в которых все параметры одноранговые и генерирую дистейжем фабрику через которую задаются локальные параметры: https://izumi.7mind.io/latest/release/doc/distage/basics.html#auto-factories