Исходное сообщение
"Увидел свет язык программирования Rust 1.13" Отправлено 5kbps, 12-Ноя-16 21:19
> При разработке собирать и тестировать с проверкой индексов, а при запуске на продакшене под большой нагрузкой - запускать версию без проверок Это тупо. Ведь входные данные будут другими, следовательно никаких гарантий со стороны компилятора быть не может. Я считаю, что будущее программирования всё-таки не за лексическим анализом, как в Rust, а за более развитыми системами типов. Впрочем, возможно, первое является частным случаем второго - в теории я не силён. > Но PR уже идёт вовсю, как мы видим. ЧСХ, ничто не мешает прикрутить тот же borrow checker к компилятору C/C++ и получить ту же самую безопасность (которую, к слову, никто так и не пруфанул научно: где статьи, доказательства, вот это всё?). Рантаймовые проверки и вовсе можно реализовать средствами самого языка. P.S. Причина взлёта Rust не в пиаре. Дело в том, что львиная доля потенциальных дыр в коде реально отлавливается. Это факт.