Я бы мог тут Раст растоптать по каждому пункту. Начиная от стандартной библиотеки, которая в Аде вылизана, закреплена стандартом, и подписан каждый файл двумя контрольными суммами, через контракты, заканчивая покрытия тестами и формальной верификацией.Причём не только на уровне исходного кода, но и на уровне сгенерировано машинного кода.
Сходи к Рыбину на сайт -- полистай методичку на 400 листов. Если ты поймёшь, что там написано (например, про рандеву), то ты при слове Раст после этого -- будешь каждый раз испытывать рвотные позывы.
А если прочитаешь что-нибудь вразумительное про Модулу-2, то и на Аду ты будешь смотреть как на сверхтяжёлый сундук, от слова Раст тебя будет воротить, как Чубайса от пересмотра итогов приватизации.