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

Вы сами признали, что вектор – unsafe.

Я иронично сказал. Конечно он safe с точкий зрения Rust для всех операций в которых нету маркера unsafe. Это просто определение в языке, факт.

Ничего он не может создавать. В unsafe можно нарушать любые инварианты, и компилятор будет считать, что они корректны.

Да, это фича unsafe. Надо было для таких как ты назвать «manually_verified_safety», но долго печатать

В safe раст ничего сделать нельзя, он защищает от самых идиотских ошибок, связывая руки. Не кажется, что в модели не хватает золотой середины?

Да, золотая середина - как сделано в Rust. Имею ввиду сам принцип. Что конкретно двигать по одну или другую сторону - более сложный вопрос, trade off

Вы сами признали, что вектор – unsafe.

Я иронично сказал. Конечно он safe с точкий зрения Rust для всех операций в которых нету маркера unsafe. Это просто определение в языке, факт.

Ничего он не может создавать. В unsafe можно нарушать любые инварианты, и компилятор будет считать, что они корректны.

Да, это фича unsafe. Надо было для таких как ты назвать «manually_verified_safety», но долго печатать

В safe раст ничего сделать нельзя, он защищает от самых идиотских ошибок, связывая руки. Не кажется, что в модели не хватает золотой середины?

Да, золотая середина - как сделано в Rust. Имею ввиду час принцип. Что конкретно двигать по одну или другую сторону - более сложный вопрос

Вы сами признали, что вектор – unsafe.

Я иронично сказал. Конечно он safe с точкий зрения Rust для всех операций в которых нету маркера unsafe. Это просто определение в языке, факт.

Ничего он не может создавать. В unsafe можно нарушать любые инварианты, и компилятор будет считать, что они корректны.

Да, это фича unsafe. Надо было для таких как ты назвать «manually_verified_safety», но долго печатать

В safe раст ничего сделать нельзя, он защищает от самых идиотских ошибок, связывая руки. Не кажется, что в модели не хватает золотой середины?

Да, золотая середина - как сделано в Rust.

Вы сами признали, что вектор – unsafe.

Я иронично сказал. Конечно он safe с точкий зрения Rust для всех операций в которых нету маркера unsafe. Это просто определение в языке, факт.

Ничего он не может создавать. В unsafe можно нарушать любые инварианты, и компилятор будет считать, что они корректны.

Да, это фича unsafe. Надо было для таких как ты назвать «manually_verified_safety», но долго печатать

В safe раст ничего сделать нельзя, он защищает от самых идиотских ошибок, связывая руки. Не кажется, что в модели не хватает золотой середины?