Yro*_*irg 0 reflection programming-languages symbolic-math computer-algebra-systems
我正在寻找一种以该语言编写的程序语言.这是一种语言,其程序是该语言的主要(可能是唯一的)对象.
像自编程转换语言这样的东西,仅仅考虑到这种观点.
动机如下:
有一个程序P1意味着计算Real - > Real我希望有一个程序P2,它将采用P1并将其转换为P1的符号衍生物(或反衍生物).显然,P2可能无法对大多数输入做正确的工作.
有人可能将其视为与lambdas匹配的模式.但是一个非常方便的模式匹配.