Как мы верифицированный полетный контроллер для квадрокоптера написали. На Ada

Статья бомба! Спасибо!

• А вы видели Ada + SPARK Crazyflie 2.0 firmware?
• Ещё было продолжение выигравшее приз на Make with Ada 2021
• А ещё был планер на SPARK
• Приходите к нам в телеграм канал по Аде!
• Добавьте, если можно, тег #ada, чтобы статья легче находилась.

Почему вам стоит использовать язык Ада для программирования вашей системы

Использование производных типов полезно, оно предохраняет от ошибок, например чтобы случайно не сложить количество бит с количеством байт. Компилятор обнаружит это сразу, если вы используете разные типы, иначе — долгие поиски в отладчике.