AD
Первый способ легко превращает линейный код в летающего макаронного мостов где тяжело проследить все пути исполнения кода. Второй способ рискует состоять на 70% из перекладывания ошибок с места на место.
Size: a a a
2021 May 16
AD
По этому в первом надо либо сильно извращаться чтобы оно было читабельно, либо сильно извращаться чтобы его прочитать. А если ещё и у нас появляется несколько вариантов ошибок, некоторые из них фатальные, а некоторые нефатальные, есть разные режимы работы, собирать фатальные все, стопорится на фатальных и так далее первый подход выдает уж очень страшного макаронного монстра с буффером ошибок и кучей ифэлсов
AD
Второй в этом случае может обойтись и без монстра и без буффера
AD
Скрещивая вэлидейтед с either при помощи чего-то вроде Ior или райтера/state
AD
Кроме того подход к написанию кода будет примерно одинаковый под все финты со вторым решением ошибок, а вот в первом надо крючить код чтобы все аккуратно сделать, либо делать сразу инфраструктуру под дальнейшее крючение.
AD
Подъехали, читайте выше
AD
Комбинаторы очень имеет смысл когда ошибок несколько и все нужно донести до юзверя. Как вы без буффера ошибок будете это делать, я хз
AD
И они очень имеют смысл если у вас определены преобразования между разными алгебрами ошибок, по типу луковицы например
AD
Ещё раз. Есть база, есть вася-вендор, есть коля аудитор, есть ещё бузенес-леер, и есть апи. Вот у нас получилась ошибка в базе и едет вверх рассовывая всем нужные уведомления о произошедшем без нарушения ограниченности контекстов
AD
Если у вас одни мобилки в котлине где такой сложной логики не может существовать и проще тупо упасть то это не означает что сложных процессов где явление отваливагия чего-то там является нормальным поведением программы нет вовсе
AD
Не имеет смысла без теории меры и интеграла лебега
AD
У меня на работе так данные об ошибках таскаются в левой, неявной части фьючи. Потому что челикам было сложно айзер и алгебру
AD
Как думаешь почему Try/Result в скале не either?
KD
Я даже не знаю, что
Try/Result в скале не Either.AD
Пушто try не монада, а айзер - монада
KD
Как я понял их
Странно, что он оформлен в виде отдельного класса.
Try и есть наш Result.Странно, что он оформлен в виде отдельного класса.
(
Ещё законы* нужно выпонять
d
Слишком категорично
d
То что тебе их дали когда то таким образом, не означает, что нет смысла изучать / преподавать по другому
AN
Ещё и не верно к тому же.