Здравствуйте, sergii.p, Вы писали:
SP>Ну идея явно провокационная. Особенно сейчас. Лет 15 назад я бы встал на сторону "людей", но сейчас только на стороне "машин". Человек не в состоянии уследить за всеми граблями.
Именно поэтому надо ему помогать.
SP> Если человек не может правильно проверить переполнение так нефиг писать на С, пиши на Rust.
Вы бредите.
Перевести на Rust в сотню раз дороже, чем ввести в стандарт и все компиляторы выключение диверсионных фич там, где они не нужны, по явному запросу.
(Хотя лучше, наоборот, включение по явному запросу. Но это уже дело умолчаний компиляторов.)
А не нужны они в 95% кода практически любой программы.
Сейчас с этим кое-как справляются настройки уровня оптимизации, но это слишком грубо и непереносимо.
Здравствуйте, kov_serg, Вы писали:
_>Вообще люди похоже стали забывать для чего изначально компилятор был нужен и мы наблюдаем развитие карго-культа оптимизаций ради оптимизаций.
Почти так, но это скорее не карго-культ, а перетягивание каната, кто больше привлечёт денег за счёт того, что на пару процентов выходной код скорее, чем у конкурента, и в ком будут первым испытаны новые идеи.
Между GCC и Clang/LLVM происходит именно это, а всякие Phoronixʼы этому активно помогают.