> Что имеем по Ada/Spark - неплохой, но растянутый синтаксис с эдементами ветхозаветной старины, кучей директив (pragm) прямо в коде, направленный на разработку безопасных, но не самых быстроходных программ, на уровне скорости и потребления памяти как у приложений Java, поддерживаемых небольшой группой и используемого также энтузиастами.

Ветхозаветная старина, медлительность, потребление памяти, используется энтузиастами? Господи, чел, ты вообще не ведаешь, о чем говоришь, но пытаешься изображать из себя эксперта.

Тебе же намекнули, что Ада и Спарк уже десятками лет используются в сферах, где безопасность стоит на первом месте, а ты все упрямо пытаешься найти подвох, проводя параллели с типичной коммерческой разработкой. Это вообще две параллельные вселенные в плане решаемых проблем, инструментов, процессов и уровня ответственности.

> Что имеем по Расту - [...] современный взгляд на разработку безопасных приложений

Дружище, ты все-таки не поленись, да погугли хотя бы, как выглядит разработка безопасных приложений (то самое hight-integrity software). Раст к ней никакого отношения не имеет и иметь не может, потому что та горсточка проблем, которые решает Раст, уже была там вызжена на корню еще в те времена, когда создатели Раста пешком под стол ходили.