Rust является корректным (sound)
- Корректность (soundness) лежит в основе Rust
- Soundness ≈ невозможность вызвать проблемы с безопасностью памяти
- У корректных функций есть общие «формы»
This slide should take about 5 minutes.
«Фундаментальный принцип кода на Rust — он корректен».
«Формальное определение soundness мы дадим чуть позже. А пока считайте корректным код, который не может вызвать проблемы с безопасностью памяти».
«Корректный код состоит из корректных функций и корректных операций».
«Корректная функция — это функция, ни один из возможных входных данных которой не может вызвать проблемы корректности».
У корректных функций есть общие формы.
О них мы сейчас и поговорим.
«Начнём с реализации на безопасном Rust, а затем посмотрим, что может произойти, если вводить unsafe в разные части».