NS
это не так уж плохо, если сравненивать этот кейс с ситуацией, когда приложение с испорченным стейтом продолжает жить
таких проблем у меня никогда не было
Size: a a a
2020 February 07
AD
а как в Failure, если Failure пробрасывается сразу дальше? Оно пройдет в явном виде через весь код, но если ты его не ожидаешь, то оно всплывет только вверху
а ты работал с монадами до этого?
AD
я могу просто пример написать, потому что мне кажется, что мы говорим о разных вещах
AG
я могу просто пример написать, потому что мне кажется, что мы говорим о разных вещах
напиши, если не сложно. Может быть и о разных.
AG
я тоже напишу
AD
напиши, если не сложно. Может быть и о разных.
AG
у меня похожий пример
AD
собственно я обычно работал с подобными вариантами кидания ошибок.
В первом случае у тебя последовательный вызов каждой зависимости и можно понять что и куда идет + обрабатываются все ошибки или специфичная
во втором случае тебе надо помнить про все варианты ошибок + сложно тоследить с ходу какая из ошибок вернется в каждом из сервисов
В первом случае у тебя последовательный вызов каждой зависимости и можно понять что и куда идет + обрабатываются все ошибки или специфичная
во втором случае тебе надо помнить про все варианты ошибок + сложно тоследить с ходу какая из ошибок вернется в каждом из сервисов
AD
в твоем примере кидается всего один эксепшен, обычно их пачка из нескольких видов
AG
да, мне кажется в этом и разница в том, о чем мы говорим.
Я хочу сказать, что глядя на A нельзя знать про D и потому нельзя предусмотреть ошибку из D, в каком бы виде она ни была (исключение или failure)
Я хочу сказать, что глядя на A нельзя знать про D и потому нельзя предусмотреть ошибку из D, в каком бы виде она ни была (исключение или failure)
IM
тип можно вывести вообще
NS
да, мне кажется в этом и разница в том, о чем мы говорим.
Я хочу сказать, что глядя на A нельзя знать про D и потому нельзя предусмотреть ошибку из D, в каком бы виде она ни была (исключение или failure)
Я хочу сказать, что глядя на A нельзя знать про D и потому нельзя предусмотреть ошибку из D, в каком бы виде она ни была (исключение или failure)
это проблема отсутствия типов и беда здесь с самим языком, а не подходом к обработке ошибок
NS
тебе в любом месте может прийти какое-то говно
AG
это проблема отсутствия типов и беда здесь с самим языком, а не подходом к обработке ошибок
Я потому и не согласен, когда говорят, что эта проблема (понятность и предсказуемость) решается отказом от исключений в пользу монад.
AG
Да и на счет типов я не очень понял. Как бы они помогли?
NS
наверно надо попробовать тебе на нормальном языке пописать и посмотреть как
NS
если в двух словах — типы не сойдутся 🙂
AG
ну началось )
