用於符號計算的反射語言

Question

我正在尋找一種語言，可以在用該語言編寫的程序上運行。這是一種語言，其程序是該語言的主要（可能是唯一的）對象。

像自編程轉換語言一樣，完全是以這個觀點爲依據。

動機是：

有指計算真正的程序P1 - >房地產我想有這將需要P1並將其轉換爲P1的象徵衍生物（或一個原）中的程序P2。顯然P2可能無法對大部分輸入做適當的工作。

有人可能會將其視爲與lambda相匹配的模式。但是一個非常方便的模式匹配。

Answer 1

lisp/scheme/racket。或者你在找別的東西嗎？

Answer 2

我認爲C# Expression Trees（或F# quotations）可以用於此。他們到目前爲止不是這些語言的主要（或唯一）對象，但是我應該讓你做得很好。