Исходное сообщение
"Выпуск языка программирования Rust 1.60" Отправлено Аноним, 09-Апр-22 15:07
Я хочу сказать то, что сказал. Эквивалентный код на С работает быстрее чем на Rust. Оптимизируется современными компиляторами лучше, ассемблерный код генерирует лучше. Но Zig это же делает лучше C. Все просто поверили в мантру чёрного ящика "оптимизирующего компилятора". Однако современные компиляторы достаточно слабы. Ну умеют даже SIMD использовать, нужно ручками. Поэтому "вот сейчас компилятор проверит всё в compile-time" и сгенерирует оптимальный код - лучше чем С - сказки это всё. Практика и куча тестов показала что это не так. Обещали "Rust быстрее С", но не случилось. Это факт, который глупо отрицать. Насчёт проверок - я хочу сказать что система типов очень ограниченна. Это круто, это лучше чем ничего, это значительно лучше чем было "до". Zig пошёл другим путём - он делает максимальное количество проверок в runtime. Система типов значительно проще (но всё равно очень продвинутая по сравнению с С и С++). Код читать и понимать значительно легче. И как на системе типов Rust ты докажешь что нет утечек памяти? Или что вектор содержит ровно N элементов? Или ...