История изменений
Исправление zurg, (текущая версия) :
В Rust, во-первых, гораздо больше очень неочевидных правил
Лол чего, это каких? Сильно меньше чем в сишке, и как раз очевиднее.
они сами не могут сформулировать, что есть UB сейчас,
Те что сейчас - могут и сформулировали. Неизвестно только те что возможно добавят в будущем.
Даже MIRI не всё ловит, потому что чёткой модели UB нету.
Модель есть, но нельзя однозначно и гарантированно выявить, независимо от языка, в чём и злокозненость понятия UB
А самое главное - это всё таки возможно огородить и локализовать в отличие от сишек плюсишек.
Исходная версия zurg, :
В Rust, во-первых, гораздо больше очень неочевидных правил
Лол чего, это каких? Сильно меньше чем в сишке, и как раз очевиднее.
они сами не могут сформулировать, что есть UB сейчас,
Те что сейчас - могут и сформулировали. Неизвестно только те что возможно добавят в будущем.
Даже MIRI не всё ловит, потому что чёткой модели UB нету.
Модель есть, но нельзя однозначно и гарантированно выявить, независимо от языка, в чём и злокозненость понятия UB