Исходное сообщение
"Анализ популярности языков программирования в 2010 году" Отправлено JL2001, 12-Янв-11 01:10
a) существуют ли языки позволяющие: 1) для класса/функции/участка нити алгоритма указывать какая требуется оптимизация ? 2) для функции указать компилятору при каких ограничениях входных значений функция быстра или указать что работает как o(f(n)) или сам компилятор способен ли это определить ? 3) в объектной модели при создании объектов использовать интерфейс (а не непосредственно класс) с указанием компилятору требований необходимой реализации чтоб сам компилятор выбрал из наличествующих реализаций конкретный класс под требования ? b) отдельно - есть ли языки программирования с "алгоритмическим" (типо блоксхемно-описательным) стилем ? c) существуют ли языки (не программирования а описательные скорее) с удобной или автоматической валидацией теорем-утверждений, с удобной работой с самими утверждениями ? типо есть аксиомы и по ним проверять теоремы, раскладывать теоремы на составляющие теоремы и аксиомы