記号計算のための反射言語

Question

私は、その言語で書かれたプログラムで動作する言語を求めています。これは、その言語の主要なオブジェクト（おそらく唯一のオブジェクト）を持つ言語です。

この点を念頭に置いて作成された自己プログラム変換言語のようなものです。

動機は以下の通りです：

実計算するもので、プログラムP1を持つ - >私はP1を取り、P1の象徴誘導体（または不定積分）に変換しまうプログラムP2を持ちたいレアル。明らかに、P2はほとんどの入力に対して適切な作業を行うことができない可能性があります。

ラムダとのパターンマッチングとして見るかもしれません。しかし、非常に便利なパターンマッチング。

Answer 1

lisp/scheme/racket。または何か他のものをお探しですか？

Answer 2

私はC# Expression Trees（またはF# quotations）がこれに使用できると思います。彼らはこれらの言語の主要な（または唯一の）オブジェクトではありませんが、私はあなたにこれをうまくやらせるべきです。