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

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

В Аде и goto есть. В Rust его нет by design.

Так начни переписывать.

Подними волну!

Почему ты ешь вилкой? Почему не воспользоваться вилами?

> В Аде и goto есть

Это слишком поверхностное различие.

Даже если не учитывать, что у goto есть легитимные применения.

Нет, не поверхностное. Оно прямо затрагивает работу borrow checker'а. В двух словах, goto в Rust не стали вводить чтобы borrow checker компилятора мог работать нормально и без тормозов.

А в Аде нет никакого borrow checker'а.

Нет владения, нет Send и Sync. Лайфтаймов тоже нет. Но Ada всё равно будет получше той же сишки, это правда.

Как верно написали выше Ada старый язык. Ну кому интересно тратить время на старые технологии из 20 века? Разрабов всегда тянет на что-то новенькое, желательно чтобы это использовал бигтех.

В двух словах, goto в Rust не стали вводить чтобы borrow checker компилятора мог работать нормально и без тормозов.

Borrow checker работает поверх MIR, в котором как раз goto и используется.

Ну так это оптимизированное представление.

Оптимизация лапши - это уже другой вопрос...

Я пробовал Ada, но какой же бред что-то там дополнительно прописывать, чтобы работали esc-последовательности. Почему он, блин, не воспринимает строку, как есть? Сейчас даже не вспомню в чем засада, но пришлось по такому незначительному злементу гуглить решение.

1. слабая поддержка со стороны компиляторов
2. слабая поддержка со стороны фреймворков
3. слабая поддержка со стороны популярных IDE
4. слишком много букв для ЯП
5. писать на Аде очень скучно: типы, подтипы, определенные/неопределенны/анонимные подтипы, куча ’Image и т.п.
6. мало реальных проектов на Ада, трудно собрать команду которая будет на этом лопатить и поддерживать этот проект
7. продуманная но инертная публикация стандартов раз в 5 лет

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

слабая поддержка со стороны фреймворков

слабая поддержка со стороны популярных IDE

На Rust сразу были сильная поддержка со стороны компилятора, сильная поддержка со стороны фреймворков, сильная поддержка со стороны популярных IDE?

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

Тут уже спрашивали. У Ada просто историй успеха нет.

В лучших традициях инета, некоторым пофиг, и задают одни и те же вопросы по 100 раз…

Лапша это проблема людей, компиляторы же хорошо умеют её жевать.

У Ada просто историй успеха нет.

Да, отсутствие историй успеха настораживает.

Разрабов всегда тянет на что-то новенькое, желательно чтобы это использовал бигтех.

И желательно чтобы разрабы новенького исповедовали что-нить нетрадиционное.

Да вот же, недавно обсуждали

nVidia разработала DriveOS в 7млн строк кода на SPARK, для систем на базе AGX. Эта версия системы прошла сертификацию ASIL-D, прописанную в ISO 26262, стандарте для функциональной безопасности автомобилей.

А дальше-то что, где эта система сейчас внедряется?

А зачем тебе это?

К чести автора, было бы неплохо, если бы движок ЛОРа выдавал похожие темы до отправки, а не после.

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

Нет.

слабая поддержка со стороны фреймворков

Фреймворки нужны только макакам.

слабая поддержка со стороны популярных IDE

vim работает, чяднт?

слишком много букв для ЯП

По сравнению с руст? Лол.

мало реальных проектов на Ада, трудно собрать команду которая будет на этом лопатить и поддерживать этот проект

В вузе нас на курсе по многопоточности заставили выучить Ada за неделю и написать синхронизацию лифтов. Нашей команде поставили 5. Трудно будет только макакам.

Because It’s Not Fun Enough

Pascal, Objective-C, PL/I, Ada, and Tcl were false starts

Автор бредит.

Да нет, просто Куртка не знает куда бы ещё деньги потратить на пике ИИ-пузыря. Думаешь, так?

Зачем пистон, если есть перл и пхп? Зачем пхп, если есть перл? Зачем вяленый, если есть иксы? Много зачем.

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

а почему не оберон ? )

Недостаточно американский. Единственный взлетевший европейский язык — erlang.

Linux Professional Institute

Ржали всем шредером. Удивительно, как я только сейчас об этом узнал, чуваки тусуются с 99 года.

Аж захотелось стать

BSD Specialist

у ржавого была хорошая поддержка этого всего, пока в него кучу ресурсов не ввалили

Ты на полном серьёзе сейчас утверждаешь что Google, Huawei, Microsoft, Mozilla ввалили в Rust за 10 лет больше чем Пентагон за 45 в Ada?

Единственный взлетевший европейский язык — erlang.

А он точно взлетевший? На нем уже даже в Ericsson не пишут.

В вузе нас на курсе по многопоточности заставили выучить Ada за неделю и написать синхронизацию лифтов. Нашей команде поставили 5. Трудно будет только макакам.

Ты его в 3 года назад закончил? Там нормальные требования по многопоточности сформировались только в ISO/IEC 8652:2023, если раньше закончил, то иди переписывай под новый стандарт.

Если у вас есть какие-то цифры, с удовольствием готов их услышать.

Ничего лучшего, однако, предложить не могу, остальные европейские попытки в ЯП куда менее успешны. Разве какие-нибудь нишевые штуки начать рассматривать типа ABAP, но это всё не то.

то есть ты там, что то ***нул, а я тебя еще должен покормить. Унылый приёмчик.

Я фигею дорогая редакция, Макском в Talks наследил, не припомню такого за последние 20 лет.

Ага, бегу курсовую через 20 лет переписывать :D Ты не понял мой посыл?

Современная?

Цитата из Вики: «...большинство современных российских программистов считает его «мёртвым языком» и ничего о нём не знает.»

Последняя редакция Ады датирована маем 2023 года. Это к вопросу о «старости».

Да как сказать. Не обо всём можно/нужно афишировать.

В годы моей прекрасной молодости на потоке нам, молодым и безбашенным была поставлена аналогичная задача: выучить что-то необычное за 5 дней и «выдать на гора» некую программную приблуду на выученном. А поскольку у меня была книжка по Аде и идея приблуды, мы вчетвером и реализовали, как нынче модно выражаться, этот проект. И получили по «отл.».

Потому что внедрение раста имеет распильно-политические, а не технические причины.

С одной стороны бездарные манагеры получают возможность ИБД (какая разница, что программа после переписывания стала дольше компилироваться, хуже работать и т.п. Всегда можно сказать что это ради безопасности), с другой - корпораты выкидывают GPL и получают контроль над комитетом. А возмущающихся правдорубов можно и отменить, очень удачный повод.

Нет, тут впереди телеги именно то, что Rust уже победил технически. Некоторые люди просто примазываются к этой победе. И GNU GPL никто не выкидывает, тем более, что в том же cargo есть инструменты отслеживания лицензий. В файл deny.toml прописываются разрешённые лицензии. И туда спокойно можно прописать, например, и такой вариант как

"GPL-3.0-or-later",

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

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

И действительно, а какая?

корпораты выкидывают GPL

Кто девушку ужинает, тот её и танцует.

Ты на полном серьёзе сейчас утверждаешь что Google, Huawei, Microsoft, Mozilla ввалили в Rust за 10 лет больше чем Пентагон за 45 в Ada?

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

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

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

А что вас таки смущает в таком допущении? Для первых код это всё, это то чем они зарабатывают. Для последних это как бензин на заправке - нужен чтобы доехать до места, но особо вкладываться никто не будет.

«cargo deny» - это механизм запретов. И он касается не только лицензий. По умолчанию все лицензии в чёрном списке. В белый список они вытаскиваются через allow = [].