Посоветуйте язык, в котором программы могут анализировать и менять свой собственный код

[ИсмаилПрокопенко]

Моя тема близка к ЭТОЙ
Но там я не смог написать - раздел закрыт до сентября.
Поэтому спрошу тут.

Посоветуйте язык программирования сверхвысокого уровня (ЯПСВУ), программа на котором могла бы в COMPILE TIME обрабатывать и изменять свой же собственный код

Приведу простейший и надуманный пример для иллюстрации того, в чем же идея.

К примеру, чтобы язык,к примеру, поддерживал конструкции типа "если вызов метода Tarl::MySleep(int, double) присутствует в коде программы более 3-х раз - то определить тип MyType как long double".

Повторяю. Пример чисто вымышленный и искусственный, и служит чиста для иллюстрации идеи.

Вообщем нужен ЯПСВУ, который "искоропки" имел бы конструкции, которые позволяли бы писать программы, анализирующие и меняющие свой же собственный код во время компиляции (!!! Не в run-time). Т.е. чтобы программа являлась одновременно как бы пользовательским расширением компилятора и языка.

Соответственно, получается, что когда пишешь программу на таком языке, и меняешь ТЕКСТ какой-то её части, то ТЕКСТ других частей программы может при компиляции автоматом измениться {что есть такая штука как "препроцессор" я в курсе - но нужны более серьёзные и радикальные ВСТРОЕННЫЕ в язык средства. Препроцессорных средств (например #IFDEF и макросов с параметрами в языке C++) мне недостаточно. Нужно чтобы язык включал в себя более продвинутые средства парсинга и модификации своего же собственного исходника}.

Т.е. в ЯПСВУ должны быть операторы, операндами которых служат текстовые объекты в самом исходнике.

Почему я назвал такой язык языком СВЕРХ высокого уровня?

Ну потому что на нем пишут не исходник, а "исходник исходника" если можно так выразиться.

Т.е. чтобы исходник на языке представлял собой как бы смесь компилятора+прикладнухи, написанном на одном языке. Причем чтобы в исходнике "был растворен" не весь компилятор, а только его расширение для данной прикладной задачи.


Если совсем по простому, то нужен язык, у которого очень мощный препроцессор, не ограничивающийся имеющимися почти во всех языках банальными "IFDEF" и макросами с параметрами.
Чтобы язык был изначально заточен под описания парсинга исходника в самом же исходнике

[p51x]

m4 Но, по-моему, вы не с того края подходитек задаче...

[ИсмаилПрокопенко]

Сообщение от p51x

m4

m4 это просто макропроцессор.
Он ничего не знает про "классы", "методы" и т.п.

[ИсмаилПрокопенко]

Сообщение от p51x

вы не с того края подходитек задаче...

А с какого надо?

[p51x]

Начните с постановки условий конкретной задачи. Может вам шаблонов хватит, а может и до своего языка доползете... а может и на фиг все это не сдалось в задаче.

[ИсмаилПрокопенко]

Я уже понял, что С++ не подходит.
Что реализовать на нем программу, которая кроме основной задачи могла бы ещё анализировать свой код и при необходимости менять его, без "костылей" не получится.

Нужны специализированные языки.

Кроме предположений "может ЛИСП?" и препроцессора m4 в рунете мне ничего не посоветовали.
Видно это тема очень узкая и экзотическая и ей мало кто интересовался.

Хотя мне кажется подход писать программу, в которой ты вместе с "прикладнухой" одновременно пишешь (в том же исходнике) код расширения компилятора, который будет все это компилить, весьма многообещающим.

Ты фактически учишь компилятор находить ошибки, которые никакой компилятор обнаружить не может.

Самый примитивный пример.
Написал в коде метода TLAstTrim.send(), что вызов метода TLAstTrim.send() может встречаться в любом блоке, но только после вызова методов Tysh.reply(int) или Uydf.rev(double), и компилятор возьмет это на контроль.
Средствами С++ такой контроль, как я понимаю, сделать невозможно или крайне геморно


P.S. Прошу прощения за корявые объяснения и невнятные примеры.
Просто рождается новая парадигма в программировании.
А, как известно, все нове рождается в муках

[p51x]

Этим занимается статические анализаторы, а пихать все это в основной язык особо смысла нет.

[ИсмаилПрокопенко]

Сообщение от p51x

Этим занимается статические анализаторы, а пихать все это в основной язык особо смысла нет.

Смысл есть.
Контролировать код прямо во время его написания - в этом есть смысл.

Т.е. написание кода + его (т.е. написания) контроль + его автоматическую генерацию сделать неразрывными действиями. В этом есть смысл.

Т.е. ты пишешь код и сразу же пишешь как его контролировать и как он связан с другим кодом

[ИсмаилПрокопенко]

В результате компилятор сможет отлавливать не только самые простые синтаксические ошибки, но и глубоко зарытые логические и семантические ошибки. И ошибки в самой структуре

[evg_m]

Контролировать код прямо во время его написания - в этом есть смысл.

не только самые простые синтаксические ошибки, но и глубоко зарытые логические и семантические ошибки.

И вы ГОТОВЫ предложить таковые правила контроля ?
Или же готовы предложить правила описания (СИНТАКСИС) таковых правил ?