Я ищу язык, который работает с программами, написанными на этом языке. Это язык, программы которого являются первичными (возможно, единственными) объектами этого языка.
Что-то вроде языка преобразования самопрограммы, сделанного исключительно с этой точки зрения.
Мотивация следующая:
Имея программу P1, предназначенную для вычисления Real -> Real, я хочу иметь программу P2, которая брала бы P1 и преобразовывала его в символическую производную (или первообразную) от P1. Очевидно, что P2 может не справиться должным образом с большинством входных данных.
Можно рассматривать это как сопоставление шаблонов с лямбда-выражениями. Зато очень удобное сопоставление с образцом.