Статически компилируемые языки

[vak]

Я попросил у Грока список языков программирования со статической компиляцией. Вот такая раскладка на сегодняшний момент. Весь его пространный ответ смотрите по ссылке.

1. C++: ~20-25%
   (Still the leader due to its broad reach.)
2. C: ~15-20%
   (Holds strong in systems programming.)
3. Rust: ~10-13%
   (Rising fast, especially in systems and safety-critical areas.)
4. Go: ~10-12%
   (Cloud and DevOps darling.)
5. Swift: ~5-8%
   (Mobile heavyweight, growing beyond Apple.)
6. Fortran: ~2-3%
   (Scientific niche.)
7. Ada: ~1-2%
   (Safety-critical stronghold.)
8. D: ~0.5-1%
   (Small but dedicated.)
9. Nim: ~0.3-0.7%
   (Niche, growing slowly.)
10. Crystal: ~0.2-0.5%
    (Ruby-inspired, limited reach.)
11. Zig: ~0.2-0.5%
    (Emerging C alternative.)

Comments

[dimorlus]

А Delphy уже вообще все забыли? Вроде он еще живой, как по мне, более чем Ada.

[vak]

Не подаёт признаков жизни.

[dimorlus]

Кажется, они до сих пор новые версии выпускают, и продают. Кто-то же их покупает. Сейчас глянул, на их сайте 30 лет празднуют. https://www.embarcadero.com/

[vak]

Какой-то нишевый бизнес.

[dimorlus]

Несомненно, но и на rutracker новые пиратские версии есть, в отличие от Ada, про которую я в практическом плане не слышал примерно никогда, даже во времена фидошной конференции su.pascal.modula.ada. Наверняка кто-то где-то для чего-то использует, но думаю меньше, чем Delphy (вариант object pascal).

[dmarck]

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

[dimorlus]

Вполне возможно, но это сильно не мой круг общения. А так, энтузиасты всякие Паскали до сих пор развивают, более или менее совместимые с разными борландовскими версиями, вроде кто-то Turbo Vision современный сделал, на GitHub до фига всего на Delphi/Pascal лежит. Оно, понятное дело, нишевое, но как по мне, куда более массовое, чем Ada.

[dmarck]

"непротиворечиво" ™ ;-)

[vak]

Ада встроена в GCC с некоторых пор.

https://en.m.wikipedia.org/wiki/GNAT

Пакет gnat присутствует во всех линуксах.

[dimorlus]

И все же, мне трудно поверить, что она популярнее Дельфи.

[vak]

Кстати, в LLVM ада тоже имеется.

https://github.com/AdaCore/gnat-llvm

Про популярность Ады интересный вопрос. Давно я нею не интересовался. В начале 2000-х прикидывал переписать свою RTOS на Аду, но не сложилось. Компилятор GNU тогда был слишком сырой. Сейчас погуглил - там всё замечательно нынче, оказывается. Даже есть неплохой менеджер пакетов "alr", напоминает рустовский cargo. Ставится компилятор Ады теперь тривиально: скачиваешь alr из последнего релиза Alire, вызываешь "alr update" - компилятор скачивается и устанавливается.

https://github.com/alire-project/alire

Вроде вся авиация, гражданская и военная, летает на Аде. Поезда и медицина тоже.

[vak]

Вот что Грок имеет сказать про Delphi.

https://grok.com/share/bGVnYWN5_650825cb-5660-4ba1-aa08-58f708fa67ed