История изменений
Исправление MOPKOBKA, (текущая версия) :
за гарантии правильности кода вместо
Гарантии разные бывают. Я не знаток С++, но у него контракты к С++26 готовятся, с pre()/post() синтаксисом в определении функции, и концепты уже есть. Такого в Rust за пределами unsafe нету. Это продвигает его ближе к SPARK: https://docs.adacore.com/spark2014-docs/html/ug/en/source/subprogram_contract...
Исходная версия MOPKOBKA, :
за гарантии правильности кода вместо
Гарантии разные бывают. Я не знаток С++, но у него контракты к С++26 готовятся, с pre()/post() синтаксисом в определении функции, и концепты уже есть. Такого в Rust за пределами unsafe нету.