Там не в отключении даже дело :) А именно в гарантиях пред- и постусловий. В ядре Линукса есть подобные штуки для блокировок. Но там что-то очень самопальное: по коду вручную раскиданы дефайны, а потом статистический анализатор по ним ищет дедлоки.

(по крайней мере так было в 2009 году, хз как сейчас)

Давай уточнимся: UB - это Undefined или Unspeficied? 😉 В любом случая, с точки зрения стандарта это может быть UB, но не с точки зрения платформы или реализации. Т.е. у нас на выброс исключения было вполне себе определённое поведение: вызов termination handler. В Debug, мигал SOS диодом и крутился в цикле, гасив планировщик, в Release - перегражал устройство. Если использовалось место, которое выбрасывало исключения без заглушки, мы просто валились на линковке и дописывали заглушку.

С точки зрения стандарта результирующая программа не является программой на С++, это ничем не отличается от undefined behavior’a

тут тоже всё интересно. new как и память выделяет (да, но нет) так и конструктор вызывает. Собственно и placement new есть. Так вот, отключить нельзя, но заменить выделение памяти static_assert'ом, который отвалится на компиляции с удобочитаемым сообщением вполне себе можно.

А, ну если так, то да :) Это как USB устройство без сертификации USB-IF не является USB устройством :)

Получится SPARK-C++

в какой-то степени, Ada предшествовал какую-то paradigms и features которые были позже добавлены к C++ и что C не поддерживал. Я помню короткую paper от А. Степанов, где он упомянул, что он изначально начал развивать generic programming на Ada, потому что C++ в то время еще не был «готов» (он сам позже внес свой вклад)

Насколько я знаю, Ada все еще широко используется 🙂 особенно в оборонной промышленности, а не только, особенно в государственных контрактах из США, но, вероятно, Alexey знает обновленное состояние лучше

Не, пока не спарк, это мы пока тут пытаемся до базового функционала Ады добраться :-)

nvidia юзает :-)

Ну грин-треды с вытесняющим планировщиком это вот вкусно. Я копался в коде Golang, мне понравился трюк, как они его сделали там. Хочу найти время и сделать подобное поверх C++. На работе не дают на ЦПП писать (мало), так хоть для души (sic!)

Ну и основное применение таки в гражданской промышленности - аутомотив, авионика, АЭС и автоматизация всяких железнодорожных штук

да, но все же в основном «официальные» / правительственные комиссии. И все еще сегодня среди военной / оборонной промышленности я думаю, что Ada, безусловно, самый используемый язык, помимо С

Ну, какие-нибудь гражданские Боинги - эти Ада

Но да, область применения Ады сейчас темно связана с областью где требуется сертификация и валидация ПО

Хотя, я знаю тех, кто например просто сервера пишет и бэкенды.

Да что там, народ уже и под браузеры на аде пишет, скомпилировав в wasm :-) (но это пока больше эксперименты конечно)

Что у  Ады с компиляторами? только за чемоданы денег?