Исходное сообщение
"Вышел GNAT GPL 2011 - набор средств разработки на языке прог..." Отправлено коксюзер, 19-Июн-11 02:10
>>> такие правила кстати и для ц есть >> Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. > странный вы человек - эта ссылка как раз о том что мисра > в иаровском компиляторе есть Что-то есть, но за пределами стандартов, стандартных инструментариев (особенно свободных) и большинства областей применения. Это не "такие правила", не аналог. Слишком широкое обобщение вы сделали. > а что качество проверки хуже будет для ц чем для паскалеподобного языка > так это ясно Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну что тут скажешь... > как ясно что ада в итоге все равно сольет питону, поскольку квалифицированных > ада программеров не найти Яблоки апельсинам наверно тоже сольют, когда-нибудь. :) > кстати все эти статически проверенные проги все равно работают под осями написанными > на ц, так что какая разница Странные вопросы у вас. :) От себя могу сказать, что разница большая. :)