Исходное сообщение
"В состав GCC включена поддержка языка программирования Modul..." Отправлено Аноним, 19-Дек-22 23:02
> Слышал когда-нибудь чтобы кто-то го или аду в гцц использовал? Вот то-то и оно. Ну вообще-то да, Аду в гцц еще как используют. Точнее, ее вариант под названием SPARK. Это по сути стандарт для написания по-настоящему безопасных и надежных прграмм, по сравнению с которым Rust - это цветочки. Вы же не думали, что настоящие спецы своего дела в отчаянии сидели и ждали, пока им какие-то мозилловские васяны изобрутут язык для прграммирования ПО самолетов? А до этого, как идиоты, снова и снова наступали на те же грабли, используя недоязыки типа C и C++ с обмазыванием кода всяческими undrfined behavior, выходами за пределы буферов, переполнениями int и прчей дичью - рискуя сотнями миллионов долларов и жизнями людей? > The main tool for SPARK 2014 (GNATprove) is based on the GNAT/GCC infrastructure, and re-uses almost the entirety of the GNAT Ada 2012 front-end.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: