Reflection 符号计算的反射语言

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

类似于自编程转换语言的东西，完全基于这一观点

动机如下：

有一个程序P1用来计算实数->实数，我想有一个程序P2，它可以把P1转换成P1的符号导数（或反导数）。显然，P2可能无法对大多数输入执行正确的操作

---

可以将其视为与lambdas的模式匹配。但是非常方便的模式匹配。

lisp/scheme/racket。还是你在找别的东西？

lisp/scheme/racket。还是你在找别的东西？

我想（或）可以用来做这个。到目前为止，它们不是这些语言的主要（或唯一）对象，但我认为它们应该让您很好地做到这一点。

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

你的研究建议使用什么语言？你发现哪些语言不太符合标准，为什么？@Marcin我试过pure，但它的反射表示很笨拙。例如，如果then else和guards被清晰地表示出来。那么，相应地更新您的答案。您的研究建议使用什么语言？你发现哪些语言不太符合标准，为什么？@Marcin我试过pure，但它的反射表示很笨拙。例如，如果then else和guards被清晰地表示，那么，相应地更新您的答案。