У нас в JetBrains эксперимент проводили - переписали библиотеку miniz с Си на Rust (ну не С++, а Си, окей). miniz - это сейчас типа самая убероптимизированная inflate/deflate либа, быстрее zlib. Соотв. inflate/deflate - это чистая числодробилка. Есть массив байт на входе, нужно получить другой массив байт на выходе. Только алгоритм реализуй. Ну эта "убероптимизированность" miniz выражается в т.ч. в экстремально нечитаемом коде, где все состоит из макросов со всякими нелокальными goto и прочим. Полное адище. На Rust переписыали буквально по одной функции - Rust с Си превосходно линкуется. Т.е. БУКВАЛЬНО по одной функции переписывали, линковали и прогоняли тесты. Т.е. один в один вся реализация и структура программы сохранены остались. Как переписано было все, уже начали рефакторить. Короче получился очень красивый и читаемый код, просто ни в какое сравнение с оригиналом. Кроме того, блягодаря расту получаем статически гарантируемый type/memory safety. А дальше уже стали ЕГО ОПТИМИЗИРОВАТЬ ЕЩЕ. Потому что код читаемый, понятно что как работает и зачем нужно - можно оптимизивароть. А когда у тебя все на макросах с goto и небезопасно - там хуй что поймешь и боишься что-то трогать. В итоге у нас на 10-20% быстрее оригинала по разным бенчам. ДА, НА РАСТЕ БЫСТРЕЕ ЧЕМ НА СИ. А секрет прост - раст не меньше чем Си дает контроля за тем, какой там код будет сгенерен. Ты пишешь код, и понимаешь, что у тебя в ассемблере будет в этом месте. При этом type/memory/thread safety и вообще красивые абстракции.

Аж стало интересно вживую посмотреть на этот "экстремально нечитаемый код, где все состоит из макросов со всякими нелокальными goto и прочим. Полное адище" Я правильно нагуглил https://github.com/richgel999/miniz ? @nexmean

Но с прозрачностью в итоге похуже в gcc. Могут сделать закладку майнящую биткоены

Да я хз, нам пасту в чатик скинул разраб из житбрейнс, ссылку на код он не скидывал. Сам нашёл этот кусок, посмотрел, увидел где же мог раст быть лучше для этой задачи.

Я так глубоко не копал, но мне кажется нас ждут истории с непрозрачными компиляторами

ну понятно:) просто похоже на то, что паста какая-то с душком:)) ибо греп по репе даёт всего 8 нахождений кейворда goto, из которых 7 штук находится в одном файле и все как один выглядит так: if (...) { mz_zip_set_error(pZip, MZ_ZIP_FILE_READ_FAILED); goto handle_failure; } где сама метка везде одна и та же: handle_failure: mz_zip_array_clear(pZip, &file_data_array); return MZ_FALSE; которая, очевидно, как раз сделана для УЛУЧШЕНИЯ читаемости (так-то ничего не мешало впендюрить это очищение и ретурн вместо goto) И в остальном код тоже довольно чистенький и понятный. Вывод напрашивается простой: либо это вброс, либо в JetBrains работают просто какие-то терминальные анскиллы (извините), если для них это — "экстремально нечитаемый код, полное адище".

честно скажу, код который не подходит под характеристику "экстремально нечитаемый код, полное адище" я видел только на паре-тройке ФЯ

агда, скала, раст?

честно скажу, код который не подходит под характеристику "экстремально нечитаемый код, полное адище" я видел только на паре-тройке ФЯ

на фя иногда можно

https://github.com/0x7CFE https://github.com/kpp

Скорее всего очередной блокчейн пишет

Раньше был принцип 'Everything is better with Bluetooth', а теперь 'Everything is better with Blockchain'

Раньше был принцип 'Everything is better with Bluetooth', а теперь 'Everything is better with Blockchain'

Раньше был принцип 'Everything is better with Bluetooth', а теперь 'Everything is better with Blockchain'

Мне, кстати, интересно, а сегодня блокчейн индустрию формальная верификация не интересует?

в Cardano всё формально верифицировано. или тебя вся индустрия вместе взятая интересует?

На ликвиде?

в Cardano всё формально верифицировано. или тебя вся индустрия вместе взятая интересует?

в Cardano всё формально верифицировано. или тебя вся индустрия вместе взятая интересует?

что там рассказать нужно?

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

заканчивай уже с картинками

вобще в БЧ смартах она очень нужна - кто умеет это делать пишите в ЛК есть работа ;)

Десктопный клиент скайпа, вроде бы (можно уточнить), на плюсах целиком написан (или, как минимум, был написан несколько лет назад). Это не мешало ему съедать кучу памяти и тормозить :)

Есть стирающий стикеры бот?

вобще в БЧ смартах она очень нужна - кто умеет это делать пишите в ЛК есть работа ;)

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

Есть стирающий стикеры бот?

вобще в БЧ смартах она очень нужна - кто умеет это делать пишите в ЛК есть работа ;)

Будут платить деньги за написание тотального языка? :О

тогда часть чятиках будут абсолютно пустыми

Мне, кстати, интересно, а сегодня блокчейн индустрию формальная верификация не интересует?

Так можно же на Coq доказывать, а писать хоть на питоне, не?

Судя по моему опыту, интересует. Довольно часто приходят офферы на эту тему. Проблема только в том, что заказчик сам не знает чего хочет, ему надо чтобы “была формальная верификация”

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

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

Писать на тотальном языке это верифицировать

"верифицировать завершаемость" наверное, а не корректность

а вот обьясните, как работает этот процесс. Ты пишешь на любом говнокоде, потом переписываешь на Coq и получаешь верификацию?

А еще часть из них хотят платить в той же криптовалюте, что и разрабатывается. ?

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