История изменений

Само собой, но мне очевидно что это с точки зрения Rust. Rust не theorem prover. На пути к безопасности разработчики остановись в том месте где почитали нужным чтобы язык сохранил эргономичность.

Например математика может вызывать переполнение и можно было после каждой операции возвращать Result, иначе unsafe. Все как ты сказал. Но решили так

Само собой, но мне очевидно что это с точки зрения Rust. Rust не theorem prover. На пути к безопасности разработчики остановись в том месте где почитали нужным чтобы язык сохранил эргономичность

Само собой, но мне очевидно что это с точки зрения Rust