GM
А ссылки на чатики эти не мог бы в личку? Спасибо.
А то тут космолёты на Обероне хотят :-)
А то тут космолёты на Обероне хотят :-)
Size: a a a
2021 November 24
FO
Ага. А С4 это аккорд, а не взрывчатка 🤣
АР
не признаю за собой вину )
AV
ох.. могу поискать топики на форумах. копий было сломано много. и, еще штука в том, что оберонов -- МНОГО и они друг с другом не вполне совместимы 🙂 стандарта то нет.
юзать неподдерживаемый какой-нибудь XDS компилятор (авторы его давно забросили, а потом и хуавею продались) для мишн критикал софтвареза -- то такое
юзать неподдерживаемый какой-нибудь XDS компилятор (авторы его давно забросили, а потом и хуавею продались) для мишн критикал софтвареза -- то такое
AV
Использовать язык с GC -- тоже такое (а это таки оберон). Использовать язык который задумывался как язык с GC без GC -- такое в квадрате.
AV
добавлять еще один уровень косвенности -- возможные ошибки траспиллера из Оберона в Си наложить на возможные ошибки gcc (или иного сишного компилятора) -- вообще так себе идея. Для мишн критикал.
FO
Надо использовать D!
FO
И чему тогда верить?
FO
Надо ещё про баги в процессорах вспомнить!
AV
в смысле? верифицированным инструментам хотя бы.
если вы пилите нечто своё, и это нечто пилит один человек и он основывает свои разработки на неподдерживаемых инструментах и технологиях -- это очень опасно. Даже если этот человек -- гений.
если вы пилите нечто своё, и это нечто пилит один человек и он основывает свои разработки на неподдерживаемых инструментах и технологиях -- это очень опасно. Даже если этот человек -- гений.
AV
а там их много, да
FO
А верификатор точно без багов?
NY
Но главные баги – пишут другие баги
Самокритичненько 🤔
Самокритичненько 🤔
AV
вообще, чем больше нечто используется, тем больше про это нечто известно и тем меньше там осталось неизвестных ошибок.
не дай БГ (борис, да) использовать для мишн критикал какую-то уникальную никем не используемую технологию.
не дай БГ (борис, да) использовать для мишн критикал какую-то уникальную никем не используемую технологию.
GM
Поищи плз. Очень очень интересно :-)
AV
собственно Вирт сам писал, что спека на язык не полна 🙂
GM
Дагаев Вирта лично в Мск привозил! Легенда!
AV
А UB там нет, потому что.. а чтобы короче спека была. в частности в спеке на язык не сказано вообще ничего про то, что будет если мимо границы массива попасть например.
AV
и там еще масса подобного. нет описания например того, что будет при целочисленном переполнении
ES
А тут пишут, что наоборот, надо, чтобы лучше сжимался: https://mobile.twitter.com/AffectiveCpp/status/1183756246467395590