Size: a a a

Конференция C++ Russia

2021 November 24

GM

Grisha Mirgorodsky in Конференция C++ Russia
А ссылки на чатики эти не мог бы в личку? Спасибо.

А то тут космолёты на Обероне хотят :-)
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
Ага. А С4 это аккорд, а не взрывчатка 🤣
источник

АР

Андрей Руссков... in Конференция C++ Russia
не признаю за собой вину )
источник

AV

Alexey Veselovsky in Конференция C++ Russia
ох.. могу поискать топики на форумах. копий было сломано много. и, еще штука в том, что оберонов -- МНОГО и они друг с другом не вполне совместимы 🙂 стандарта то нет.

юзать неподдерживаемый какой-нибудь XDS компилятор (авторы его давно забросили, а потом и хуавею продались) для мишн критикал софтвареза -- то такое
источник

AV

Alexey Veselovsky in Конференция C++ Russia
Использовать язык с GC -- тоже такое (а это таки оберон). Использовать язык который задумывался как язык с GC без GC -- такое в квадрате.
источник

AV

Alexey Veselovsky in Конференция C++ Russia
добавлять еще один уровень косвенности -- возможные ошибки траспиллера из Оберона в Си наложить на возможные ошибки gcc (или иного сишного компилятора) -- вообще так себе идея. Для мишн критикал.
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
Надо использовать D!
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
И чему тогда верить?
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
Надо ещё про баги в процессорах вспомнить!
источник

AV

Alexey Veselovsky in Конференция C++ Russia
в смысле? верифицированным инструментам хотя бы.

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

AV

Alexey Veselovsky in Конференция C++ Russia
а там их много, да
источник

FO

FORTRAN ONE LOVE in Конференция C++ Russia
А верификатор точно без багов?
источник

NY

Nikita Yegorov in Конференция C++ Russia
Но главные баги – пишут другие баги
Самокритичненько 🤔
источник

AV

Alexey Veselovsky in Конференция C++ Russia
вообще, чем больше нечто используется, тем больше про это нечто известно и тем меньше там осталось неизвестных ошибок.

не дай БГ (борис, да) использовать для мишн критикал какую-то уникальную никем не используемую технологию.
источник

GM

Grisha Mirgorodsky in Конференция C++ Russia
Поищи плз. Очень очень интересно :-)
источник

AV

Alexey Veselovsky in Конференция C++ Russia
собственно Вирт сам писал, что спека на язык не полна 🙂
источник

GM

Grisha Mirgorodsky in Конференция C++ Russia
Дагаев Вирта лично в Мск привозил! Легенда!
источник

AV

Alexey Veselovsky in Конференция C++ Russia
А UB там нет, потому что.. а чтобы короче спека была. в частности в спеке на язык не сказано вообще ничего про то, что будет если мимо границы массива попасть например.
источник

AV

Alexey Veselovsky in Конференция C++ Russia
и там еще масса подобного. нет описания например того, что будет при целочисленном переполнении
источник

ES

Egor Suvorov in Конференция C++ Russia
А тут пишут, что наоборот, надо, чтобы лучше сжимался: https://mobile.twitter.com/AffectiveCpp/status/1183756246467395590
источник