#memory-safety
-
Valen: заимствование, которое помнит, куда указывает ссылка
Эван Овадиа представил новый проверщик заимствований для языка Valen — он отслеживает «путь» каждой ссылки и ловит use-after-free на этапе компиляции, оставаясь гибче, чем у Rust.