> В работу большинство современных промышленных компиляторов вмешивать не имеет смысла.
> Можно, конечно, что-то покрутить в препроцессоре, но толку от этого, скорее
> всего, не будет. Лучшие компилятор сейчас довольно интеллектуальны. Уж точно, более
> интеллектуальны, чем средний прогер.почему тогда до сих пор популярны ассемблерные вставки которые реально увеличивают производительность участков ?
> Большинство ОО-языков имеют общий объектный тип, вроде id в obj-c. И динамическая
> типизация вполне успешно применяется на практике. У неё есть свои явные
> плюсы, но и свои явные минусы.
либо я вас не понял, либо вы меня
динамическая типизация позволяет мне сделать такое ?
Интерфейс ИнтерфейсЕда {
function void сьесть()
}
Класс Помидор реализует ИнтерфейсЕда {
@Красное //описание свойств класса или автовычислимое компилятором или заботливо созданное программистом
function void сьесть() @вес 150 калорий //описание свойств метода класса --//--
}
Класс Огурец реализует ИнтерфейсЕда {
@Зелёное
@вес 350 калорий
}
Класс Яблоко реализует ИнтерфейсЕда {
@Красное
@вес 1350 калорий
}
Класс Морковь реализует ИнтерфейсЕда {
@Красное
@вес 50 калорий
}
ИнтерфейсЕда a = new ИнтерфейсЕда()[пусть она красная; пусть в сьесть() калорий < 200]
и в результате у меня в a - Морковь или Помидор (что из них конкретно - выбирается по внутренним соображениям компилятора)
например я бы хотел использовать вместо цвета - вес класса, а вместо калорийности - время выполнения метода при входящих параметрах x, y и z
> UML имеет развитые средства описания ограничений и трансляции диаграмм в целевой код.
многие жалуются на результаты такой трансляции и говорят что приходится полностью самостоятельно переписывать, а UML подходит только чтоб эти схемы на стену повесить и смотря на них кодить
>>> типо есть аксиомы и по ним проверять теоремы, раскладывать теоремы на составляющие
>>> теоремы и аксиомы
> Функциональные языки позволяют реализовать нечто подобное.
не подскажите как это вобще называется по научному, я не оч понимаю как это можно реализовать в функциональных языках