まさにその言語で書かれた、プログラム上で動作する言語を探しています。それは、プログラムがその言語の主要な (おそらく唯一の) オブジェクトである言語です。
この観点だけを念頭に置いて作られた、自己プログラム変換言語のようなもの。
動機は次のとおりです。
Real -> Real を計算するためのプログラム P1 が必要です。P1 を取り、それを P1 の記号導関数 (または逆導関数) に変換するプログラム P2 が必要です。明らかに、P2 はほとんどの入力に対して適切な作業を行うことができない可能性があります。
これは、ラムダに対するパターン マッチングと見なすことができます。しかし、非常に便利なパターン マッチングです。