Почему Rust, а не Ada?

В файл deny.toml прописываются разрешённые лицензии

Тут где-то описка или в расте всё настолько через задницу?

Не в самом расте, а в cargo-deny. Это название программы. Но там сама директива называется allow, ошибиться и принять это за чёрный список вместо белого не получится.

Нет, тут впереди телеги именно то, что Rust уже победил технически

забавно читать после той бездарной чуши, которую ты напостил в качестве рекомендаций в соседнем топике

Вы путаете «лично мне не нравится софт на Rust» и «софт на Rust никому не может быть полезным».

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

Нет, тут впереди телеги именно то, что Rust уже победил технически

Чего он там победил? Истории узбека с DO-178 где? ARINC где?

Ну давай, скока там софта для бортового ПО написано на расте?

потому что на старом «не попилишь»

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

А это как раз узкие ниши, куда пускают не по техническим причинам. Это как с Cobol'ом в ряде банков - софт на нём там до сих пор работает не потому, что Cobol всех победил технически, а потому, что переходить на другое - это финансы и бюрократия. Это же самое касается и DO-178 с ARINC.

А это как раз узкие ниши, куда пускают не по техническим причинам.

По вполне техническим: либо соответствуешь и пруфы есть, либо рассказываешь как все «безопастно, пруфов не будет».

Cobol всех победил технически

Угадай, почему ни на жабе, ни на чем другом все еще не переписали.

Это же самое касается и DO-178 с ARINC.

Нет, «это другое» как до сертификации и пруфов громких заявлений доходит.

победил технически

ты еще про победы «по очкам» на тиобе задвинь.

«Победил технически» - это про техническую реализацию, из-за которой его и выбирают для проектов.

Потому что в mozilla не успевали на c++ имплементиррвать без дыр и ошибок весь тот невменяемый фарш, который называется CSS. На ada это было не вытащить.

Уточнение слов начинается, когда заявление неочевидно, или прямо двусмысленно. «Победил по очкам» — это когда язык выбирают на тиобе и на хайпе.

А я так понял, что они все засекречены.

Не все, просто управление железной дорогой или электросетями — это скууушшшшно. Электричество же из розетки берется прост.

корпораты выкидывают GPL и получают контроль над комитетом

Ааа, так вот почему на расте всё переписывают, а не пишут новое. Спасибо, сам не догадался бы.

почему не brainfuck?

Ну давай, скока там софта для бортового ПО написано на расте?

Понятия не имею и даже знать не хочу. Очень рандомный вопрос, не имеющий отношения к обсуждаемому.

попилы бывают разные - в штатиках как раз более популярны и органичны «громогласно успешно инвесторские» с раздутыми достижениями

Потому что никто не проплачивал Ada Evangelism Strike Force.

/thread

Инновации на уровне технической реализации - это инкрементальная компиляция на уровне отдельных функций в Zig. Это детерминированная и устойчивая к supply chain атакам система зависимостей в Go. Это статическая рефлексия в C++.

А все что могут растоманы - это дергать LLVM, фигачить неотключаемые рантайм-проверки и орать «это безопасно». Скопировав систему зависимостей с JavaScript с его npm.

прочитал: почему раст не в аду ?

слу в ржавом внутриблоковые goto break continue так что будь мода другая и внутримодульные скачки потянули бы в одной упряжке с боровом

реальная причина в индустриальной археологии - как не смогли воскресить сатурн пришлось много не просто переделывать а буквально торить новые пути решений так и с годными транслятарами в бинарь

кроме открытий в компиляторостроении сменился профиль распределения компенецкий - в смысле компиляции как и у всякой зловещей долины ща много меньше доля середнячков - куча попсы и как и всегда достаточное и малое число заключённых в замках из слоновой кости Ифф

будь мотив выкатить причёсанную Аду с боровом - технически это решаемо - только в том же доде и гове не будут бюджетов текущей сладости а ведь ржавый надежда всей лобби

частично переписать что либо с кобола это перекроить легальные (ибо уже полвека дырам) состоявшиеся и в равновессии взаимоотношения

Внутриблоковые - это одно. Я вообще-то говорил, что рандомные прыжки в самые разные части кода (а именно это и позволяет делать goto) значительно усложнят отслеживание наследования. И «усложнят» не значит, что оно вообще не сможет работать. Сможет. Но медленно. А зачем чтобы компилятор тормозил?

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

есть попилы с убытков есть с роста - последнее более полезно для общества

более того попилы с роста позволяют экспортировать коррупцию в перефирийные отношения страны

А кто сказал, что победить технически можно только какими-то мега инновациями?

Rust технически побеждает тем, что в нём теперь наконец-то всё по-человечески. Тем, что видно, что это язык 21-го века, а не 20-го.

Как там, динамическую линковку осилили в языке 21 века?

Динамическая линковка как раз не поощряется там, где требуется воспроизводимость сборки.

Мало ли какие версии библиотек в системе у юзера. А если он ещё и свои подсунет... И программа может поломаться и работать не так как задумано.

Статическая линковка с заранее прописанными версиями библиотек гарантирует, что программа будет работать везде одинаково и найденные баги не связаны с тем, что у юзера какие-то не такие библиотеки.

ээээ вот в обероне жи из коробки динамическая линковка как и ваще в Модула-языках

Динамическая линковка как раз не поощряется

Ой:

$ ldd /bin/bat
	linux-vdso.so.1 (0x00007f9931547000)
	libgit2.so.1.9 => /usr/lib/libgit2.so.1.9 (0x00007f99313b2000)
	libonig.so.5 => /usr/lib/libonig.so.5 (0x00007f993131c000)
	libgcc_s.so.1 => /usr/lib/libgcc_s.so.1 (0x00007f9930dd3000)
	libm.so.6 => /usr/lib/libm.so.6 (0x00007f9930c9c000)
	libc.so.6 => /usr/lib/libc.so.6 (0x00007f9930a00000)
	libssl.so.3 => /usr/lib/libssl.so.3 (0x00007f9930907000)
	libcrypto.so.3 => /usr/lib/libcrypto.so.3 (0x00007f9930200000)
	libllhttp.so.9.3 => /usr/lib/libllhttp.so.9.3 (0x00007f9930c89000)
	libpcre2-8.so.0 => /usr/lib/libpcre2-8.so.0 (0x00007f9930854000)
	libssh2.so.1 => /usr/lib/libssh2.so.1 (0x00007f9930c3b000)
	libz.so.1 => /usr/lib/libz.so.1 (0x00007f9930839000)
	/lib64/ld-linux-x86-64.so.2 => /usr/lib64/ld-linux-x86-64.so.2 (0x00007f9931549000)
	libbrotlienc.so.1 => /usr/lib/libbrotlienc.so.1 (0x00007f9930140000)
	libbrotlidec.so.1 => /usr/lib/libbrotlidec.so.1 (0x00007f9930c2c000)
	libzstd.so.1 => /usr/lib/libzstd.so.1 (0x00007f993005a000)
	libbrotlicommon.so.1 => /usr/lib/libbrotlicommon.so.1 (0x00007f9930816000)

Чел, лучше не бредогенерируй.

Вот зачем прыгать с вопроса на вопрос?

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

Во-вторых, я сильно подозреваю, что это не тот bat:

$ ldd /usr/bin/bat
        linux-vdso.so.1 (0x00007f4b29855000)
        libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x00007f4b297ee000)
        libm.so.6 => /lib64/libm.so.6 (0x00007f4b2970c000)
        libc.so.6 => /lib64/libc.so.6 (0x00007f4b28e18000)
        /lib64/ld-linux-x86-64.so.2 (0x00007f4b29857000)
$

Гибридная линковка здесь возникает просто потому, что glibc не поддерживает статическую линковку. А вот с musl можно получить 100% статический бинарник.

Ну так либо крестик сними, либо штаны надень.

Мы не осилили Не безопастно.

Вы смешиваете разные вещи. Rust - это системный язык. Любой системный язык спускается до уровня target-платформы. Это одно. А фичи самого языка и его библиотек - это другое, они не зависят от целевой платформы.

Любой системный язык спускается до уровня target-платформы.

Не все через unsafe. Ну, тончее, безопасность достигается другими средствами, а не надуванием щок про безопасный дроч памяти.

ну покури наконец почему в расте динамическая линковка по умолчанию не безопасна

а не потому что всякая динамическая линковка «это плёхо»

наоборот если линкуют интерфейсами а не "блин-инклюдами"текста привет переносимый асмо-сяшка

вообще легко представить язык (да тот же оберон) который динамически линкуется что бы для разработки али когда не горячее место модули можно находу апдейтить с сохранением зацепленного пока живо

а если нужен ну вот прям нужен мегабаребонблоб то либо прям в началный компайл внятигивает в себя и или при мервом обращении - ибо правильный компилятор(походный) обязан быть сверхбыстрым

fortran до сих пор в математике ни кто не обогнал, количество поддерживаемых платформ фортрана почти на уровне си.

не безопасна

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

А вот, кстати, согласен. Ada же исторически появилась когда индустрия пыталась пихать инструкции языков программирования в «железо». Все эти проекты настолько эпично проваливались (см. IAPX 432), что Ada стала токсичной и ассоциировалась с их неудачами.

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

fortran до сих пор в математике ни кто не обогнал, количество поддерживаемых платформ фортрана почти на уровне си.

У меня для вас плохая новость. Всё-таки Nvidia убила Fortran. Это была запланированная и хорошо продуманная акция. Фортрана больше нет.

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

Ada исторически появилась тогда, когда Вояджер полетел не туда, куда хотелось.

Я даже больше скажу. В 2007 году была битва, как программировать графические устройства. Куртка сказала Куда! Мы сказали OpenCL. Куртка сказала f*** y**, мы сказали - тогда хрен тебе, а не госконтракты. Что имеем? Куртка с Кудой. Госконтракты у АМД. Фортран мертв.

Проект PhotoSuite развивает открытый аналог Photoshop (комментарий)

Я тоже умею кидаться ссылками.

@Mischutka, а вы сами пишете на аде? А почему?

Да, но пихать его в процессор и рекламировать это всё начал Интел

Что вы имеете в виду, поясните?