AI
Вот ты и халтишь дальнейшее исполнкние
Size: a a a
2021 April 15
EG
У тебя половина корлибы паникует
AI
В драйверах как раз только checked и должен быть
EG
У тебя есть неявный эффект «паника», которым покрашена половина функций и который внезапно убивает всю программу
AI
Если драйвер гонится за стабильностью
EG
Опционально не вызывая деструкторов
EG
Это говнище
TK
А если кто криво напишет драйвер, система ляжет, а Линус против
EG
Паникующие/не паникующие функции цветные
AS
Но так понимаю, что эти checked не юзают какие особенности ассемблера типа флага переполнения, то они явно медленнее unchecked, или нет?
AI
Паники нужны, просто сильно реже чем юзаются
EG
Дефолт это не «unchecked», а
.checked().unwrap()SP
а мне норм
AS
Но кстати тогда уж философский вопрос, а что плохого в unwind в ядре? Ну паникнул драйвер, поймал панику через catch_unwind, пошел дальше
EG
Здесь дизайнеры раста пошли с какой-то обратной стороны
EG
Безопасный (в бытовом смысле) способ сделать что-то сложный и неудобный (
.get(), .add_checked()), а способ, который убивает тебе всю программу на не тех данных — простой и эргономичный ([], +)TK
Короче, я предлагаю заменить panicking на interruptible
EG
И было бы полбеды, если бы паника была явным эффектом
EG
Но нет
Ты не можешь узнать из сигнатуры функции, что она паникует
Ты не можешь узнать из сигнатуры функции, что она паникует
AS
хм... интересно, а если все операторы сделать поверх
Result<T, E>, тогда можно было бы уже результат всех операций в конце проверять на ошибочность.