s
Die fast это валидный подход для юзерспейса.
Size: a a a
2021 April 15
TK
Если бы не было C/C++. Тем же вопросом задался и так в итоге додумал.
EG
Rust претендует на системность и претендует на корректность (собственно, почему врёт про «нет эксепшнов»)
s
И в таком случае ты можешь использовать .get() и аллокаторы.
EG
Не могу
Во-первых, не существует способа сделать в юзерском коде Box
Во-первых, не существует способа сделать в юзерском коде Box
EG
А Box на стейбле всегда паникует на фейле аллокации
EG
Во-вторых, нет способа определить, паникует функция или нет, и нет способа аудитить код на паники
TK
Из-за аллокатора дефолтного
s
Хм, allocator api ещё в анстейбле?
TK
EG
В-третьих, все непаникующие функции в расте очень_длинные_и_неэргономичные_чтобы_никто_их_никогда_не_вызывал()
r
Тотальная корректность - это к Agda и прочему. Сделать recovery при баге в коде можно только обращением к программисту, а паники - это сигналы о багах
s
Не, что-то уже в stable.
AS
Так и просится еще один keyword
nopanic на fn, но это уже какой-то С++ way.s
Не уверен, что этого хватит, правда.
TK
Есть такой, но в стороннем крейте
s
Here we go.
EG
Да нифига