reflection - 符号计算的反射语言

Question

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

类似于自编程转换语言之类的东西，完全是基于这种观点而制作的。

动机如下：

有一个程序 P1 旨在计算 Real -> Real 我想要一个程序 P2 将 P1 转换为 P1 的符号导数（或反导数）。显然 P2 可能无法对大多数输入进行适当的处​​理。

有人可能会将其视为针对 lambda 的模式匹配。但是非常方便的模式匹配。

Answer 1

口齿不清/计划/球拍。还是您在寻找其他东西？

Answer 2

我认为C# 表达式树（或F# 引号）可以用于此。到目前为止，它们不是这些语言的主要（或唯一）对象，但我应该让你很好地做到这一点。