Исходное сообщение
"Увидел свет язык программирования Rust 1.13" Отправлено freehck, 12-Ноя-16 23:43
>> При разработке собирать и тестировать с проверкой индексов, а при запуске на продакшене под большой нагрузкой - запускать версию без проверок > Это тупо. Ведь входные данные будут другими, следовательно никаких гарантий со стороны > компилятора быть не может. Ну не совсем. Бывают случаи, когда уместно сделать именно так. Например, Вы пишете реализацию нового метода расчёта газодинамического течения на эйлеровской сетке. Сначала Вы обкатываете несколько решений на маленьких сетках, и вылавливаете все возможные проблемы метода. Затем начинаете расчёт реальных сетках, а там уже сотни миллионов ячеек могут быть, и вам постоянные проверки индексов так вдарят по мордасам, что мало не покажется. Я замерял, из-за проверки индексов производительность падала на два порядка. Так что отключать подобные проверки смысл имеет большой. > Я считаю, что будущее программирования всё-таки не за лексическим анализом, как в > Rust, а за более развитыми системами типов. Поддерживаю. За этим Вам прямая дорога в Ocaml. Системы типов мощнее Хиндли-Милнера ещё не придумали. > P.S. Причина взлёта Rust не в пиаре. Дело в том, что львиная > доля потенциальных дыр в коде реально отлавливается. Это факт. Ну а кто ж спорит. Вполне может оказаться, что Rust после C - это рай. Но с другой стороны Scala после Java - это тоже рай, хотя синтаксис там ну ой... Пока на языке не напишут некоторой критической массы кода, полезных open source проектов и т.д., я лично поостерегусь делать выводы о языке.