169 похожих чатов

Коллеги, помните мы обсуждали вчера ситуацию про менеджмент состояния: let a let

b = calc(a)
Что делать если мы обновили a но на calc случился exception. Нужно ли сохранить новое значение a или нужно его откатить в этом случае?
Вы выразили мысль о том что логично сохранить новое значение a. Но я вспомнил в чем тут проблема. Если мы сохраняем значение a:
1. Нужно ли оповещать подписчиков?
1.1 Да - в этом случае не понятно что делать с ошибкой из calc. Ее нельзя не выкинуть - это уже совсем не очевидный флоу получается. Ну предположим мы ее выкинем после обхода подписчиков. А если в подписчиках кто-то упадет, что делать? Как нам выбрасывать 2 ошибки?)) В общем тут все крайне не однозначно, для разных ситуаций может потребоваться разное поведние.., так же это может быть совсем не интуитивно.
1.2 Нет - подписчиков оповещать не нужно. Но что если у вас какой-то сайд-эффект завязан на это значение, тогда в следующий апдейт мы получим уже новое значение, а значение сохранившееся при ошибке пропадет. На примере логера каунтера это будет выглядеть так: 0 (инитиал), 1 (инкрементб сайд-эффект), 2 (инкремент, тут ошибка и мы не трогали подписчиков), 3 (инкремент, сайд-эффект в недоумении куда делось “2”).


Как видите чем больше мы разрешаем программе обрабатывать ошибки, тем менее однозначной она становится. Особенно это может быть проблемой, если обрабатывать ли и как ошибки за вас решает библиотека, а не вы.

Поэтому я придерживаюсь позиции, что при падении необходимо останалвивать и откатывать всю ветку вычислений - возможно мы потеряем апдейт какой-то обособленной фичи, но зато мы на 100% можем быть уверены в консистентности своих данных.

1 ответов

20 просмотров

Я лично для себя вчера подтвердил в очередной раз, что надо kiss и частные кейсы типа этого решаются через custom store. Ошибки ошибками, но надо с корнем проблемы зачастую бороться - что вызвало эту ошибку, а не откатывать цепочки и потом недоумевать - что происходит

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта