История изменений
Исправление
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 нету.