Я пробовал поиск в Интернете и читал некоторые фрагменты в Интернете. Почему Ада является "критическим для безопасности" языком? Некоторые вещи, которые я замечаю,
- Нет указателей
- Укажите диапазон (этот тип является целым числом, но может быть только 1-12)
- Явно указать, если параметр функции отсутствует или находится в/из
- Циклы на основе диапазона (во избежание ошибок привязки или проверки привязки)
Остальная часть синтаксиса я либо не понимал, либо не видел, как это помогает ему быть "критически важным". Это некоторые моменты, но я не вижу большой картины. Есть ли у меня дизайн по контракту, которого я не вижу? Имеет ли он правила, которые усложняют компиляцию кода (и если да, то какие?) Почему это "критически важный для безопасности" язык?