G
это весело писать, потому что Ada по-русски означает Aд
Size: a a a
2020 July 02
AV
международные проходят регулярно. также есть трек на FOSDEM есть трек https://fosdem.org/2020/schedule/track/ada/
G
международные проходят регулярно. также есть трек на FOSDEM есть трек https://fosdem.org/2020/schedule/track/ada/
AV
но может русскоязычные тоже на что-то такое решатся
AV
Gabriele
Ada это хорошо. Первоначально Степанов пытался включить то, что сейчас является C ++ STL в Ada, но оба языка были слишком примитивными в то время. C++ развился так сильно, Ada все еще более или менее такая же.
Ada 2012, особенно с учетом SPARK уже сильно отличается от того, что было вначале. А сейчас готовится новая ревизия стандарта - Ada 202x
G
Ada 2012, особенно с учетом SPARK уже сильно отличается от того, что было вначале. А сейчас готовится новая ревизия стандарта - Ada 202x
да, это другое. Но C++ стал еще более другое от того времени, это то, что я написал и что я имел в виду. извините, если было неясно.
В любом случае, Ада по-прежнему в основном используется «только» во встроенных и военных областях, в то время как С ++ вездесущ.
В любом случае, Ада по-прежнему в основном используется «только» во встроенных и военных областях, в то время как С ++ вездесущ.
G
Ada 2012, особенно с учетом SPARK уже сильно отличается от того, что было вначале. А сейчас готовится новая ревизия стандарта - Ada 202x
и самая большая причина, по которой Ada используется в таких военных областях, - это главным образом инерция бюрократии. Правительства могут перейти на C ++ или MISRA C в любое время, но они не хотят.
AV
это правда. То есть я знаю людей и компании которые используют Ada для backend web servers (и есть для этого два фреймворка у Ады), но основная ниша - авионика и automotive
AV
high integrity and mission critical systems
G
это правда. То есть я знаю людей и компании которые используют Ada для backend web servers (и есть для этого два фреймворка у Ады), но основная ниша - авионика и automotive
да
G
high integrity and mission critical systems
да. Но также C и C ++ могут быть написаны правильно. Многие из критических систем, которые мы используем (включая критические операционные системы и микроядра), все еще написаны на C.
AV
В не военной авионике тоже используется - Boeing, Aitbus etc.
G
В не военной авионике тоже используется - Boeing, Aitbus etc.
Да, так же. это так
AV
Gabriele
да. Но также C и C ++ могут быть написаны правильно. Многие из критических систем, которые мы используем (включая критические операционные системы и микроядра), все еще написаны на C.
более того, там даже на java можно. собственно разрешеные 4 языка в этих областях: Ada, C, C++ (with MISRA), Java
AV
Java естественно не обычная, не j2se as is
G
Java естественно не обычная, не j2se as is
для меня это в основном плохой технология / платформа / способ программирования, но я не буду судить никого, кто не согласен
AV
Wow! Next Fortran revision is Fortran 202x (2023 probably). And after that - Fortran 202y.
FO
Wow! Next Fortran revision is Fortran 202x (2023 probably). And after that - Fortran 202y.
Я счастлив! ☺️
G
Wow! Next Fortran revision is Fortran 202x (2023 probably). And after that - Fortran 202y.
Люди умрут, Fortran не)
FO
Gabriele
Люди умрут, Fortran не)
Я буду жить вечно! ☺️