gо
да, но этим никто не занимается
Size: a a a
2021 June 20
gо
и это, мягко говоря, не в приоритетах
gо
тем более, что ниша безопасного языка для критических применений не пуста, т. к. существует Ada. Ada лучше Rust в этом плане, её можно формально верифицировать.
SP
вам не надо сертифицировать язык если у вас его нет
bh
Хорошо, но последний пункт я вообще не понял
bh
В расте есть все ключевые слова и особеносте вот и в си
gо
Box::new(0) при ошибке аллокации прервёт выполнение программыgо
malloc() при ошибке аллокации вернёт ошибкуgо
первое поведение недопустимо для критического софта
bh
Core dumped? Segmentation fault
gо
есть
Box::try_new(), который вернёт ошибку, но он нестабилен и его никто не используетgо
нет, паникует
A
Это вообще недопустимо. Стандартная библиотека сделана с изъянами
bh
Значит паника просто закрывает прогу и чистит памятт
gо
это допустимо в прикладном софте, если у тебя ошибка аллокации в прикладном контексте, то ты ничего полезного всё равно сделать не можешь
bh
А как тогда реализованы ошибки? Исключения?
gо
нет, большая часть ошибок реализована через тип
Result<T, E>. но конкретно ошибки аллокации паникуют.bh
Ну да, если ракета решит выключиться, будет неприятно
A
Ложь. Существует софт, который успешно работает в условиях жесткой нехватки памяти. И там предусмотрено, что делать, когда памяти нет.
gо
> прикладном
да, существует софт, которому это нужно, но 99% софта это не нужно.
да, существует софт, которому это нужно, но 99% софта это не нужно.