Исходное сообщение
"Анализ популярности языков программирования в 2010 году" Отправлено Sw00p aka Jerom, 12-Янв-11 01:42
>>1) для класса/функции/участка нити алгоритма указывать какая требуется оптимизация ? asm >>2) для функции указать компилятору при каких ограничениях входных значений функция быстра или указать что работает как o(f(n)) или сам компилятор способен ли это определить ? зачем явно указывать o(f(n)) если можно выполнить как o(1) >>3) в объектной модели при создании объектов использовать интерфейс (а не непосредственно класс) с указанием компилятору требований необходимой реализации чтоб сам компилятор выбрал из наличествующих реализаций конкретный класс под требования ? объект - экземпляр класса, класс - пользовательский тип данных, интерфейс - обёртка, компилятор вам не ИИ - ибо нах ваще создавать язык программирования если всё будет делать компилятор ? >>b) отдельно - есть ли языки программирования с "алгоритмическим" (типо блоксхемно-описательным) стилем ? MC VS XDDDDD >>c) существуют ли языки (не программирования а описательные скорее) с удобной или автоматической валидацией теорем-утверждений, с удобной работой с самими утверждениями ? типо есть аксиомы и по ним проверять теоремы, раскладывать теоремы на составляющие теоремы и аксиомы MathLab XDD