Комментарии 2
Всё интересно, но вот главный вывод я совсем не понял. Что значит "Одно действие запрещает компилятор. Другой переход проверяет тест. Размещение подтверждается по итоговому файлу."?
речь о разделении ответственности (исп при отладке). Вместо того чтобы при каждом сбое на плате гадать, что именно пошло не так, мы чётко делим - синтаксис и доступ к ресурсам отсекает компилятор, логику отказов тесты на ПК, а расход памяти анализ готовой прошивки. Все это тесты. На долю реального железа остаётся только физика и тайминги. В этом суть технологии.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Что Rust изменил в разработке прошивки NanoVNA