> -- prospero78 писал(а):
> Оберон -- про качество...Коэффициент для выравнивания качества можно, скажем, предусмотреть х500. Почему нет?
И как же мерить качество? К примеру,вот здесьограничений больше, чем в Оберонах (прежде всего -- статическое выделение ресурсов). Но в итоге любая программа сразу же по построению, как минимум, с гарантией отсутствия deadlock-ов и livelock-ов. И по сравнению с Обероном, к примеру, на борту имеются даже "generic"-и для обобщённых алгоритмов. Т.е. что-то урезано, но нечто другое расширено, и, главное, имеется условный формальный контроль -- вроде есть "качество", но могут быть ограничены возможности.
Но, в принципе, динамическое выделение ресурсов (включая запуск процессов) "сдерживается" лишь проблематикой верификации. Однако возможны техники частичных проверок, и если допустить "динамику" -- возможностей возникает существенно больше, и вновь под контролем.
В общем, лишь "выбрасывание всего лишнего" -- вряд ли можно принимать за фундаментальный критерий качества.