LINUX.ORG.RU

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

Исправление MyTrooName, (текущая версия) :

If all you do is write Safe Rust, you will never have to worry about type-safety or memory-safety.

Видите там слово «all»? Так вот, если у вас хотя бы в конкретном участке кода есть unsafe rust, тогда это уже не «all». Или вы будете спорить?

а вы видите там слово «never»? ваша проблема в том, что вам хочется всех убедить, что логическое отрицание слова «never» - это «always». хотя на самом деле это «at least sometimes». (о чем я и говорю - бинарная логика).

что означает, что беспокоиться о безопасности программист на rust должен в расте только иногда - в пределах блока unsafe, причем это беспокойство заключается только в сохранении короткого списка инвариантов. в отличие от любого другого С или С++, где это нужно делать постоянно.

вам многократно написали, что фишка rust - не в отсутствии безопасного кода, а в его локальности; что использование вручную проверенного библиотечного unsafe кода дает как минимум те же гарантии, что и использование проверенного компилятором safe кода; что С требует сохранять бдительность 100% времени, а раст - 5%.

но, к сожалению, это всё ничего не значит по-вашему, и раз rust не даёт гарантий в 100% случаев, получается, никакого такого преимущества у него нет.

слив засчитан

если вам два дня уже полдюжины человек пытаются что-то донести, а до вас не доходит - это действительно слив с их стороны: это означает, что их педагогические способности равны нулю.

Исходная версия MyTrooName, :

If all you do is write Safe Rust, you will never have to worry about type-safety or memory-safety.

Видите там слово «all»? Так вот, если у вас хотя бы в конкретном участке кода есть unsafe rust, тогда это уже не «all». Или вы будете спорить?

а вы видите там слово «never»? ваша проблема в том, что вам хочется всех убедить, что логическое отрицание слова «never» - это «always». хотя на самом деле это «at least sometimes». (о чем я и говорю - бинарная логика).

что означает, что беспокоиться о безопасности программист на rust должен в расте только иногда - в пределах блока unsafe, причем это беспокойство заключается только в сохранении короткого списка инвариантов. в отличие от любого другого С или С++, где это нужно делать постоянно.

вам многократно написали, что фишка rust - не в отсутствии безопасного кода, а в его локальности; что использование вручную проверенного библиотечного unsafe кода дает как минимум те же гарантии, что и использование проверенного компилятором safe кода; что С требует сохранять бдительность 100% времени, а раст - 5%.

но, к сожалению, это всё ничего не значет по-вашему, и раз rust не даёт гарантий в 100% случаев, получается, никакого такого преимущества у него нет.

слив засчитан

если вам два дня уже полдюжины человек пытаются что-то донести, а до вас не доходит - это действительно слив с их стороны: это означает, что их педагогические способности равны нулю.