> Не учил он алгоритмам. Для обучения алгоритмам вообще ЯП не нужен.

Уфф... Вспомнил свои уроки информатики, когда из оборудования была доска и мел.
Вздрогнул как от вьетнамских флешбеков, а глаз задергался ಠ_ಥ , хорошо что так только 2 года было.
Поверь, даже если есть хотя бы ЯП, становится уже значительно лучше))

> От учебного языка нужна прозрачная и гибкая семантика, а не мастурбация циклов.

О да, а потом получаем 1 + 1 = 11
Что потом сможет написать такой неокрепший ум когда вырастет?

> Ада используется для авиации, потому что она для неё создавалась на гос деньги)

В штатах относительно просто пускают в утиль то, что делалось за деньги налогоплатильщеков.
Вон недавно целый флот литоральных кораблей списали, ибо архитектурно получились кривые и исправить это невозможно (получили UB на полном ходу)))

А вот у Ады есть наследник SPARK Pro - сабсет Ada 2012, специально спроектированный так, чтобы облегчить формальную верификацию.
Который соответствует авиа стандартам DO-33/DO-178C

И что довольно забавно adacore.com/press/adacore-joins-rust-foundation-as-silver-member