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

[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

[juan_gandhi]

So, Scala Native is not even that popular. Ok...

[vak]

Most people have no idea that Scala Native does even exist...

[ufm]

а еще есть такой pony-lang https://www.ponylang.io/
Из которого, собственно, раст идеи и натырил (пони был раньше, чем появился раст).
И вобще прикольный язык. Но распространённость у него, я думаю, еще меньше чем у Скалы.

[ufm]

Description: Pony is an open-source, object-oriented, actor-model-based language designed for high performance and safety, particularly in concurrent programming. It compiles directly to native code via LLVM, with no VM or runtime dynamic compilation, fitting your criteria perfectly. Its unique selling point is a type system that guarantees data-race freedom and deadlock-free concurrency through reference capabilities and actors.

[sobriquet9]

Zig забавный, но если наберёт популярность, то название и логотип им придётся поменять.

[spamsink]

На латинице между Zig и Sieg существенная разница; в англоязычных странах мало кто знает, как читается Sieg, да и слово в отношении жеста не в ходу; в Германии тоже никакого сходства не ощутят (единственный совпадающий звук - Г; у гласного длительности разные, НЯП). А проблемы русскоязычных никого не интересуют.

[spamsink]

Комментарии забавные. А ведь того и гляди, если DoD утвердит Раст, то Ада тихо умрёт.

[vak]

Вероятно так и будет. Но чтобы утвердить Раст, надо как минимум опубликовать его спецификацию, а с этим проблемы почему-то.

[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

[chaource]

А что же Java + GraalVM забыли?

[vak]

Тут речь про языки со статической компиляцией. Никаких виртуальных машин.