CC
Джава гарантирует
Size: a a a
2020 August 27
CC
Плюсы гарантируют
CC
Хаскелль гарантирует
EG
Джава гарантирует
Нет.
/¯
Вот у C тоже есть стандарт от ISO — дык попробуй ядро линуха чем угодно, кроме GCC и Clang.
Шлангом разве ядро уже собирается?
CC
Любой язык с стандартом и компиляторами которые робят по стандарту - гарантируют
EG
Никакой язык не гарантирует. Просто потому, что ты сам можешь написать не то, что тебе нужно.
CC
Почему нет?
CC
Докажи
/¯
Шлангом разве ядро уже собирается?
Вроде раньше только бздуны этим занимались
EG
Максимум язык может гарантировать, что он выполняет то, что он написал.
EG
Шлангом разве ядро уже собирается?
Мне в соседнем чате доказывали, что собирается.
CC
Максимум язык может гарантировать, что он выполняет то, что он написал.
Компилятор должен соответстовать формальному стандарту
EG
В @vimersflood, кажется
CC
как можно соответствовать формальному стандарту, если его нет?
EG
как можно соответствовать формальному стандарту, если его нет?
Как ты проверишь соотвествие формальному стандарту, даже если он есть?
CC
Как ты проверишь соотвествие формальному стандарту, даже если он есть?
Формальная верификация компиляторов
EG
Формальная верификация компиляторов
Расскажи подробнее.
CC
Есть формально верифицированные компиляторы С
EG
GCC/Clang формально верифицированы?