))) Сомневаюсь что мы тут для этого )
Я на днях залип немного на одного типа из гугла(в прошлом наса), он рассказывал как они разрабатывали софт на лиспе для космического зонда, прям оч интересно
И мне кажется тебе бы подошла такая разработка, там нужно сразу писать СУПЕР безопасный и правильный код. Но там и сроки другие, и американцы платят тебе зп налогами, и тестирование там на другом уровне.
Кст был прикольный случай у них, когда была презентация топам НАСА того, что они напилили за 2 года, им сказали это хуйня, делаем откат на пред версию софта. И что я удивился, они запустили зонд, а сам софт, они задеплоили через пол года только, мне мозг взорвало (деплой кода на зонд за миллионы км)