Релиз языка программирования Rust 1.39

GC zero cost если память не собирать. Если повезёт никогда не собрать, например приложение быстро заканчивает работу

Просто у людей есть еще и другие интересы в жизни, например семья.

Более бредового аргумента я не слышал… D пилит один человек, что ли?

Кстати на тему примеров. В С/С++ компилятор всегда анализирует код. В Rust компилятор вообще забивает на unsafe.

Пример:

C++: https://imgur.com/a/y99YoPl

Rust: https://rust.godbolt.org/z/RKUcU4

А деструкторы/финализаторы кто будет вызывать?

Ну вызови, чё. Вполне реален такой алгоритм, когда дороже чем без сборщика

А деструкторы/финализаторы кто будет вызывать?

Либо это задается специальным блоком, либо принято полагать, что они могут в принципе не быть вызваны.

А они и не вызываются, точнее могут не вызываться.

Это меня больше всего бесит в языках с GC, следить и самостоятельно вызывать Dispose как free в С. На самом деле даже больше проблем, так как в С нет исключений…

Финализатор дерьмо, для RAII не подходит :(

Using и with в разных языках немного помогают, но деструкторы гораздо лучше…

Ты что? Вендузятник что ли?)

В С/С++ компилятор всегда анализирует код.

Зависит от компилятора и флагов.

В Rust компилятор вообще забивает на unsafe.

Нет. Просто проверка данного конкретного случая не реализована. Но для любителей unsafe есть miri.

да

Скорость написания vs сложность поддержки.

Так на всякий случай замечу, что с тулчейном msvc раст медленнее часто работает, чем с гнутым тулчейном на той же винде или чем на других операционках, если на последних использовать jemalloc. Это на тот случай, если что замерить по скорости захочешь. Имей в виду!

Препроцессор С/С++, макросы лиспа и строковые миксины в D это довольно таки разные вещи, я даже и не знаю, что тут сказать. Определенно все-таки желательно разбираться в вещах, о которых говоришь.

Безопасность всего кода равна безопасности unsafe фрагмента.

Снова в школу. Если unsafe в куске, который я не вызываю, то каким образом он распространяется на всю прогу?

потенциальные уязвимости не рассыпаны по всему коду гроздьями

В том-то дело, что рассыпаны. И rust пытается локализировать, а не исправить/запретить, данный код.

Баг можно допустить в каждой точке кода.

С разной вероятностью.

Если unsafe в куске, который я не вызываю, то каким образом он распространяется на всю прогу?

Да ты гений. Можно же просто не исполнять код! Проблемы безопасности этим джентельменом решены на корню.

В том-то дело, что рассыпаны.

В том-то и дело, что нужно сначала научиться парсить исходники, а потом уже излагать свои ценные мысли.

Ты понимаешь, что это разные вещи? Если у тебя весь код unsafe, то и на ошибки проверять нужно весь. Если же код разделен на нормальный и unsafe (абсолютное меньшинство), в котором ты говоришь компилятору, что тебе виднее, то тебе и виднее. Если я хочу отстрелить себе ногу и явно это подтверждаю, расписываясь в своем здравом уме и трезвой памяти, то, наверное, мне это зачем-нибудь да и нужно.

Твой пример, кстати, gcc -Wall -Wextra -Wpedantic -Werror компилирует без единого писка. Хотя clang, надо отдать должное, без каких-либо свитчей начинает возмущаться.

Прочел https://dlang.org/articles/mixin.html

Пишут, что it has some similar properties to the C preprocessor. But there are major, fundamental differences. Прочел что за differences. Да безопасней. Но по прежнему впечатление, что можно наворотить синтаксически верного, но неадекватного кода

А если в синтаксе твоего DSL-ля ошибка, то **ись сам. Редактор и компилер ничего не подскажут

Никто не спорит, что есть нужно выделить 100500 объектов, то GC будет проще и быстрее. Но мы же про средний по больнице код говорим.

Ну и класс приложений, которые стартуют и сразу же умирают - довольно мал.

нужно сначала научиться парсить исходники

За меня исходники парсит компилятор.

Вообще говоря, есть arena allocator’ы. Аллоцируешь себе таким кусок памяти, потом std::mem::forget. Будет примерно то, что ты описываешь.

Частенько релизы выходят…очень часто.

Ну я просто напомнил про underappreciated фичу сборщиков мусора - amortized O(1) new. У тебя есть гарантии освобождения памяти, но и надежда что это не произойдет, и тогда будет очень быстро. Все new будут просто bump регистра, как на стеке. А если произойдет сборка, то заплатишь скоростью, но зато не корректностью

В Java горы кода где 100500 обьектов создают в цикле, например при рисовании графики. Но они никогда не выживают дальше younggen. Очистка younggen имеет сложность пропорциональную количеству выживших объектов, а не мертвых. Потому там true O(1) new

Ну это само собой. В них еще приятно что используются Rust lifetimes, тебе не дадут украсть указатель из арены и вывести за период жизни арены

оно ещё живое?

Живее всех живых. На расте написано вот это:

https://github.com/greshake/i3status-rust

Пусть ценители i3wm заценят. Лично я не пробовал.

Но 1.39 мы всей сектой ждали очень давно. async/await это огого

Интересно, а кто-то пробовал подход вроде форкать приложение на запрос, память не освобождать, а по завершении просто завершить процесс. Мне, правда, смутно кажется, что это перекладывание работы GC на ОС, но не уверен.

Perl и JS на этом поле вечные диктаторы, врядли их хоть кто-то обгонит по количеству мразотного кода

память не освобождать, а просто завершить процесс

Так делал, например fpc довольно долгое время, на данный момент прекратил, как я знаю. Компиляторы (да и вообще программы, которые должны работать очень быстро и крайне недолго) вполне имеют резон так делать. И да, это перекладывание работы на ОС, со всеми вытекающими.

И че мешает сделать сафе на плюсах?

Ты говоришь о гарантиях, которые тебе дает разработчик, а я говорю о гарантиях, которые тебе дает язык программирования.

underappreciated

Недооцененную. Можно не благодарить.

В Java горы кода где 100500 обьектов создают в цикле, например при рисовании графики.

И поэтому вся графика на C++ с simd, ака Skia.

Да, это не новая идея. Где-то встречал мнение, что ОС может затупить и получить ООМ, если назапускали 100500 процессов. Как никак очистка памяти не мгновенная операция.

Чё такой злой? В школе обижают?

ждали очень давно.

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

Последний стандарт называется «2018 edition». А на дворе почти 2020

Да вроде как у хипстеров сейчас Go на хайпе.

А это было модно лет 5 назад.

Если верить индексу TIOBE, то популярность Rust только растет. У Go, кстати, падает.

Низенько-низенько -

https://www.tiobe.com/tiobe-index/

А Джава как была на первом месте, так и есть.

Кстати, про джаву. Что-то болтают много про то, что котлин собрался сбить с нее корону. Безбожно врут?

Просто в вакансиях теперь будут писать не Java developer, а Java/Kotlin developer

Брешут.

0.300%

Это в пределах статистической ошибки.

в вакансиях

dice.com

Java 12,360 Jobs

Scala 484 Jobs

Kotlin 210 Jobs

За скалку обидно. Чо так мало?

А зачем?

В Джаве и так лямбды есть.

Народ - он не глуп, поэтому народ ленив.

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

(C)

«Принцип Авенариуса»(TM) свято соблюдается.

Ну, кроме как «энтузазистами»(C)-кульхацкерами, которые выпендриваются перед себе подобными.

Однако, с возрастом увлечение недоязычками быстро проходит.

Ясно. Спасибо.

TIOBE - кривой, отстающий индекс, оценивающий популярность языков тупо по количеству написнных статей в интернете. Только кто ищет и читает эти статьи? Юзай PYPL - он мониторит непосредственно поисковые запросы в гугле и отражает более реальную картину.

Помню в ЖЖ скалист один писал, что стоило только вернуться на жабу, код из под пальцев вылетал только успевай нащёлкивать. Стоило обратно вернуться, опять пришла задумчивость.
Создаётся впечатление, что Скала это такой экспериментальный проект для обкатки всех самых дикий идей, самые удачные из которых бэкпортируются взад в жабу.
Но это так, диванная «аналитика».

Мир, в котором питон трижды популярнее джаваскрипта

Давно уже сбил. Kotlin - это исправленная версия Жабы. С исправлением всех ошибок и недоработок настолько, насколько это возможно с сохранением обратной совместимости. В Котлине функции - граждане первого класса (можно передавать их в другие функции как аргументы), инвариантные массивы, неизменяемые переменные, нулл-безопасные типы, паттерн-матчинг, объекты-компаньоны, дата-классы, свойства, перегрузка операторов и много других вкусных плюшек. Жаба - это устаревший, многословный язык, к которому ФП прикручено в виде костылей. А в Котлине оно органично и локанично by design.

Для думания есть OCaml. Или MLton. У них достаточная производительность. От императивных языков требуется, чтобы сел и начал писать.