История изменений
Исправление vbr, (текущая версия) :
Там же все выходы за пределы проверятся в compile-time.
Никто такого не мог говорить. Максимум, что Rust даёт, это range для индексов, т.е. в стандартной библиотеке хватает средств, чтобы большинство кода можно было писать в стиле, когда выход за границы невозможен. Но проверка выхода за пределы границ в compile-time звучит как фантастика, может в каких-то экзотических языках такое есть, но здесь и сейчас в практически применяемых языках этого можно сказать нигде нет.
TL;DR: шуму много, толку мало. Вместо malloc/free borrow-checker и Vec<>, Box<>, что суть одно и тоже.
Толку много. Borrow checker это прорыв. И совсем не то же самое. Borrow checker гарантирует отсутствие ряда ошибок. malloc/free не гарантируют.
Исправление vbr, :
Там же все выходы за пределы проверятся в compile-time.
Никто такого не мог говорить. Максимум, что Rust даёт, это range для индексов, т.е. в стандартной библиотеке хватает средств, чтобы большинство кода можно было писать в стиле, когда выход за границы невозможен. Но проверка выхода на пределы в compile-time звучит как фантастика, может в каких-то экзотических языках такое есть, но здесь и сейчас в практически применяемых языках этого можно сказать нигде нет.
TL;DR: шуму много, толку мало. Вместо malloc/free borrow-checker и Vec<>, Box<>, что суть одно и тоже.
Толку много. Borrow checker это прорыв. И совсем не то же самое. Borrow checker гарантирует отсутствие ряда ошибок. malloc/free не гарантируют.
Исходная версия vbr, :
Там же все выходы за пределы проверятся в compile-time.
Никто такого не мог говорить. Максимум, что Rust даёт, это range для индексов, т.е. в стандартной библиотеке хватает средств, чтобы большинство кода можно было писать в стиле, когда выход за границы невозможен.
TL;DR: шуму много, толку мало. Вместо malloc/free borrow-checker и Vec<>, Box<>, что суть одно и тоже.
Толку много. Borrow checker это прорыв. И совсем не то же самое. Borrow checker гарантирует отсутствие ряда ошибок. malloc/free не гарантируют.