Привет, ЛОР!
В тредах про Rust и сишечку периодически всплывает пример языка Ada в качестве аргумента, что Rust, дескать, не нужен.
Скажи, а есть ли примеры историй успеха, связанных с этим языком? Вот, например, передо мной сейчас стоит задача написать некоторое количество довольно низкоуровневого кода и хочется использовать инструменты, от которых не придётся отказываться через 5 лет. И если этот инструмент будет лучше чем сишка по скорости и качеству разработки, то о нём как минимум стоит слышать.
Про Ada Core, SPARK и Alire я в курсе. Хочу историй типа «у нас было три килограмма говнокода на C, мы его выкинули и переписали на Ada, и теперь багов стало с 8 раз меньше, а девки стали давать в 5 раз чаще».
Пока что есть только история неуспеха от анонимуса, но этого явно мало, чтобы судить об инструменте.
