>>>1) для класса/функции/участка нити алгоритма указывать какая требуется оптимизация ?
> asm

спасибо, а то на баше не смешно нонче

>>>2) для функции указать компилятору при каких ограничениях входных значений функция быстра или указать что работает как o(f(n)) или сам компилятор способен ли это определить ?
> зачем явно указывать o(f(n)) если можно выполнить как o(1)

разворачивание алгоритмов это вопрос оптимизации, данный же вопрос относится к алгоритмизации на понимаемом компиляторе языке для дальнейшего использования в оптимизациях

>>>3) в объектной модели при создании объектов использовать интерфейс (а не непосредственно класс) с указанием компилятору требований необходимой реализации чтоб сам компилятор выбрал из наличествующих реализаций конкретный класс под требования ?
> объект - экземпляр класса, класс - пользовательский тип данных, интерфейс - обёртка,

спасибо, Кэп!
итого я могу запросить такой объект который [(катается + красный) * максимально сытный] а будет ли это морковка, помидор или яблоко - подсчитает компилятор

> компилятор вам не ИИ - ибо нах ваще создавать язык программирования
> если всё будет делать компилятор ?

зачем вам компьютер если вы на счётах трушно посчитаете ? вы и ещё 100500 ваших клонов, а кто плохо считать будет того пустят на корм остальным 100499

>>>b) отдельно - есть ли языки программирования с "алгоритмическим" (типо блоксхемно-описательным) стилем ?
> MC VS XDDDDD

негуглится, или уточните или пишите без орфографических ошибок

>>>c) существуют ли языки (не программирования а описательные скорее) с удобной или автоматической валидацией теорем-утверждений, с удобной работой с самими утверждениями ?
> типо есть аксиомы и по ним проверять теоремы, раскладывать теоремы на составляющие
> теоремы и аксиомы
> MathLab XDD

пока пользовался только Математикой, там нет нормального языка описания общих утверждений
в матлабе есть язык для работы с _ОБЩИМИ_ утверждениями ? есть ли к нему средства обработки отдельные от матлаба ?