>>>1) для класса/функции/участка нити алгоритма указывать какая требуется оптимизация ?
> asm спасибо, а то на баше не смешно нонче
>>>2) для функции указать компилятору при каких ограничениях входных значений функция быстра или указать что работает как o(f(n)) или сам компилятор способен ли это определить ?
> зачем явно указывать o(f(n)) если можно выполнить как o(1)
разворачивание алгоритмов это вопрос оптимизации, данный же вопрос относится к алгоритмизации на понимаемом компиляторе языке для дальнейшего использования в оптимизациях
>>>3) в объектной модели при создании объектов использовать интерфейс (а не непосредственно класс) с указанием компилятору требований необходимой реализации чтоб сам компилятор выбрал из наличествующих реализаций конкретный класс под требования ?
> объект - экземпляр класса, класс - пользовательский тип данных, интерфейс - обёртка,
спасибо, Кэп!
итого я могу запросить такой объект который [(катается + красный) * максимально сытный] а будет ли это морковка, помидор или яблоко - подсчитает компилятор
> компилятор вам не ИИ - ибо нах ваще создавать язык программирования
> если всё будет делать компилятор ?
зачем вам компьютер если вы на счётах трушно посчитаете ? вы и ещё 100500 ваших клонов, а кто плохо считать будет того пустят на корм остальным 100499
>>>b) отдельно - есть ли языки программирования с "алгоритмическим" (типо блоксхемно-описательным) стилем ?
> MC VS XDDDDD
негуглится, или уточните или пишите без орфографических ошибок
>>>c) существуют ли языки (не программирования а описательные скорее) с удобной или автоматической валидацией теорем-утверждений, с удобной работой с самими утверждениями ?
> типо есть аксиомы и по ним проверять теоремы, раскладывать теоремы на составляющие
> теоремы и аксиомы
> MathLab XDD
пока пользовался только Математикой, там нет нормального языка описания общих утверждений
в матлабе есть язык для работы с _ОБЩИМИ_ утверждениями ? есть ли к нему средства обработки отдельные от матлаба ?