11 октября 2026 года Эван Овадия показал новый механизм проверки заимствований в языке Valen: несколько ссылок могут вести к одному объекту, и программа вправе последовательно менять его через любую из них. Компилятор — программа, которая переводит исходный код в исполняемый, — следит за тем, чтобы после изменения структуры данных никто не воспользовался ссылкой на исчезнувшее содержимое. Заимствование означает доступ к объекту без передачи ответственности за его освобождение. В Rust такой доступ...