Я ищу язык, который работает с программами, написанными на этом языке. Это язык, программы которого являются первичными (возможно, единственными) объектами этого языка.Отражающий язык для символических вычислений
Что-то вроде языка самопрограммируемой трансформации, сделанного исключительно с этой точки зрения в виду.
Мотивация заключается в следующем:
Имея программу P1 означало для вычисления Real -> Real я хочу иметь программу P2, которая будет принимать P1 и преобразовать его в символическом производной (или первообразной) Р1. Очевидно, что P2 может не работать над большинством входов.
Можно рассмотреть его как образец, сопоставляемый с lambdas. Но очень удобная комбинация шаблонов.
На каких языках предлагаются ваши исследования? Какие языки вы нашли, которые не совсем соответствуют законопроекту и почему? – Marcin
@Marcin Я пробовал чисто, но это представление для размышлений неуклюже. Например, if-then-else и охранники представлены отчетливо. – Yrogirg
Итак, обновите свой ответ соответственно. – Marcin