NASA пише критично важливе програмне забезпечення для польотів мовою C. І правила абсолютно БОЖЕВІЛЬНІ. > Рекурсії немає. Ніколи. > Кожна петля повинна мати доведену верхню межу. > Після ініціалізації немає динамічного виділення пам'яті. > Максимум ~60 рядків на функцію. > Мінімум 2 твердження на функцію. > Кожне значення повернення має бути перевірене. > Попередження про компілятори не допускаються. > Щоденний статичний аналіз. Там теж немає жодних попереджень. > Жодних вказівок на функції. > Обмежене видалення посилання на вказівник. Саме так пишуть код у NASA / JPL для критично важливих систем місії.