AI
Нормально то нормально, только ты не будешь все операции с числами оборачивать
Size: a a a
2021 April 15
AI
А я не вижу логики в падении программы при делении на ноль
AI
Сделали проблему на ровном месте
TK
Ну она либо повиснет, либо обработается вручную
AI
Придумали всякие NaN и Inf
s
В пруверах деление на ноль возвращает ноль.
AI
Кайф, программа виснет на ровном месте
TK
Не хватит, перф упадёт, размер потребляемой памяти возрастёт на байтики
r
Непредусмотренное нарушение инварианта.
EG
Да что-нибудь оно должно возвращать
AI
Переделать инвариант чтобы программа проще стала, не?
EG
В Pony это сделали разумно — выбрали просто какие-то числа для некорректных операций и сказали «если вас не устраивает, юзайте checked»
EG
Паника это худшее, что можно сделать
AI
Плюсую, звучит круто
TK
Да и там можно будет обойтись ?, кстати. И try-блоками от силы.
EG
У них там ещё checked операторами, а не как в Rust, когда для безопасной математики ты пишешь
2.checked_add(2)?.wrapping_mul(3)AI
Нельзя, нужно по всему стеку ошибки схожие иметь
AI
Либо тупо боксить с соответствующими результатами
AS
типа на деление на 0 оно вернет
0xdeadb00b5?