Исходное сообщение
"Анализ популярности языков программирования в 2010 году" Отправлено Кырыл, 12-Янв-11 15:48
Да имён - масса. Всё, что вызвало ваши вопросы, реализовано и существует. В работу большинство современных промышленных компиляторов вмешивать не имеет смысла. Можно, конечно, что-то покрутить в препроцессоре, но толку от этого, скорее всего, не будет. Лучшие компилятор сейчас довольно интеллектуальны. Уж точно, более интеллектуальны, чем средний прогер. Большинство ОО-языков имеют общий объектный тип, вроде id в obj-c. И динамическая типизация вполне успешно применяется на практике. У неё есть свои явные плюсы, но и свои явные минусы. UML имеет развитые средства описания ограничений и трансляции диаграмм в целевой код. >> типо есть аксиомы и по ним проверять теоремы, раскладывать теоремы на составляющие >> теоремы и аксиомы Функциональные языки позволяют реализовать нечто подобное.