IT
Оберски зионист
Size: a a a
2021 March 14
V
Оберски зионист
Криптозионист
GP
> In the end, quite a few developers prefer to work instead with a single "super-monad" like ZIO that has error propagation built in alongside other aspects. This one-size fits all approach can work very nicely, even though (or is it because?) it represents an all-encompassing framework
GP
> In the end, quite a few developers prefer to work instead with a single "super-monad" like ZIO that has error propagation built in alongside other aspects. This one-size fits all approach can work very nicely, even though (or is it because?) it represents an all-encompassing framework
бля не увидел что он запостил уже
GP
Oℕ
Kirill Shelopugin
Кажется, что на страничке описано
ебанатика конеш в том, что ето всё равно не абстракция над эффектами
Oℕ
т.е. было 500 методов типа map
Oℕ
теперь их все нужно переписать, чтобы они пропагейтили эффекты
Oℕ
при том, что многие пропагейтить эффекты не могут
Oℕ
например ленивый список
Oℕ
он не может взять и выбросить эксепшон, если он гипотетически будет где-то внутри map\flatMap
Oℕ
т.е. под этот аппроач у ленивого списка должен появиться дополнительный тайп-параметр
Oℕ
и так со всеми ленивыми\евенчуал структурами
Oℕ
типа нужен
LazyList[A, E]
LazyList[A, E]
Oℕ
где def head : A canThrow E и def tail: LazyList[A] canThrow E
Oℕ
т.е. фактически эта залупа означает переписывание всей стандартной либы под одну эксепшон залупу