История изменений
Исправление red75prim, (текущая версия) :
чем софт который управляет посадкой ровера на марс
Не. Плюсы там занимаются рулением ровера на поверхности (см. например Mark Maimone «C++ on Mars: Incorporating C++ into Mars Rover Flight Software» https://youtu.be/3SdSKZFoUa8?t=1077 )
Программа управления полётом написана на урезанных по гланды сях специально натасканными программистами, периодически проходящими инструктаж по тому как не делать UB и сдающими экзамены по окончании, код постоянно проверяется статическими анализаторами. Eсли они или компилятор с -Wall -Wpedantic выдадут предупреждение, то нужно согласование, чтобы его оставить и т.п. См. https://trs.jpl.nasa.gov/bitstream/handle/2014/43875/11-2798_A1b.pdf?sequence=1
В общем - ничего общего с обычными для бизнеса практиками разработки программ. И borrow checker после этого покажется доброй няней.
Исходная версия red75prim, :
чем софт который управляет посадкой ровера на марс
Не. Плюсы там занимаются рулением ровера на поверхности (см. например Mark Maimone «C++ on Mars: Incorporating C++ into Mars Rover Flight Software» https://youtu.be/3SdSKZFoUa8?t=1077 )
Программа управления полётом написана на урезанных по гланды сях специально натасканными программистами, периодически проходящими инструктаж по тому как не делать UB и сдающими экзамены по окончании, код постоянно проверяется статическими анализаторами. Eсли они или компилятор с -Wall -Wpedantic выдадут предупреждение, то нужно согласование, чтобы его оставить и т.п. См. https://trs.jpl.nasa.gov/bitstream/handle/2014/43875/11-2798_A1b.pdf?sequence=1
В общем - ничего общего с обычными для бизнеса практиками разработки программ.