Y
Написание ембеддед ДСЛ на скале для решения бизнес задач
а cats effect абстракции ограничивают тебя ефектами для F, не позволяют отстрелить ногу, почему если ты код запихнул под F[_] он магическим образом стал dsl?
Size: a a a
2020 October 07
Y
или код без ефетов уже по факту дсл?
NV
а cats effect абстракции ограничивают тебя ефектами для F, не позволяют отстрелить ногу, почему если ты код запихнул под F[_] он магическим образом стал dsl?
Абстракции из cats-effect 2.x никак тебя не ограничивают, они практически все позволяют саспендить произвольные сайд-эффекты внутри F[_]
NV
а cats effect абстракции ограничивают тебя ефектами для F, не позволяют отстрелить ногу, почему если ты код запихнул под F[_] он магическим образом стал dsl?
Потому что операции над F[_] доступны тебе только из тайпклассов и модулей, типизированных через F в тайп-параметре. Они и формируют дсл
Y
алгебра/интерпретатор это как интерфейс/реализация
𝛈µ
С очень поздним связыванием
Y
и этот dsl ограничен кетс ефект если хочеться чтото из реализации взять
NV
ограничен cats effect == ничем не ограничен
Y
ну так себе аргумент
NV
ну так себе аргумент
почему?
λ
Балдеж если бы ты (ну не ток ты, тофу мейнтейнеры) показал как это делать без тофу и как с тофу, чтоб ньюкамерам показать в чем идея;
Давай тебя научим
λ
Будешь лицом тофу в сша
𝛈µ
Еще надо дистейдж внедрить
𝛈µ
Версия 0.11 выходит прямо на этой неделе
𝛈µ
И она теперь полностью компилятивно безопасна
ZM
И она теперь полностью компилятивно безопасна
Повод поменять мажорную версию и выглядеть как серьезный продукт с историей.
Y
почему?
хочешь сказать что zio/monix просто реализуют cats-core абстракции?
KS
хочешь сказать что zio/monix просто реализуют cats-core абстракции?
Предоставляют инстансы для тайпклассов из эффектов
NV
хочешь сказать что zio/monix просто реализуют cats-core абстракции?
ничего не хочу сказать про zio/monix. хочу сказать что абстракции cats-effect неприменимы при определении DSL для бизнес-логики
Oℕ
Обычно вообще никакие абстракции неприменимы для определения ДСЛ для вашей конкретной бизнес-области.
Речь не в том, какие готовые взять, а как задизайнить, чтобы код трансляции был максимально прост.
Речь не в том, какие готовые взять, а как задизайнить, чтобы код трансляции был максимально прост.