符号计算的反思语言

Question

我正在寻找一种以该语言编写的程序语言。这是一种语言，其程序是该语言的主要（可能是唯一的）对象。

类似于自编程转换语言的东西，仅考虑到这种观点。

动机如下：

有一个程序P1意味着计算Real - ＆gt;真实的我想要一个程序P2，它将采用P1并将其转换为P1的符号衍生物（或反衍生物）。显然，P2可能无法在大多数输入上做正确的工作。

有人可能将其视为与lambdas匹配的模式。但是一种非常方便的模式匹配。

Answer 1

口齿不清/方案/球拍。或者你在寻找别的什么？

Answer 2

我认为可以使用C# Expression Trees（或F# quotations）。到目前为止，它们不是这些语言的主要（或唯一）对象，但我应该让你这么做。