5
lambda-反射を伴う計算
私は、リフレクションに関する推論、つまり実行中のプログラムのイントロスペクションと操作をサポートする簡単な計算を探しています。 型なしの -calculus拡張機能があり、これを使用して -termsを構文的に操作し、後で評価できる形式に変換できますか？λλλ\lambdaλλ\lambda 微積分には2つの主な追加用語があると思います。 r e f l e c t v reflect v\mathtt{reflect}\ v：を取り、構文操作に修正可能な表現を生成します。vvvvvvv e v a l v eval v\mathtt{eval}\ v：用語の構文表現を取り、それを評価します。 リフレクションをサポートするには、用語の構文表現が必要です。次のようになります。 （L A M R （e ））R （e ）eλx.eλx.e\lambda x.e用語として表現される、 の反射バージョンであり、、(LAM R(e))(LAM R(e))(\mathsf{LAM}\ R(e))R(e)R(e)R(e)eee （A P P R （e ）R （e ′））e e′e e′e\ e'用語として表現される、および(APP R(e) …