スキームのサブセットであるラムダ計算と呼ばれる単純な言語があります。次の式は 4 つしかありません。
exp : n (1 2 3)
varref (variable reference)
(lambda (x) body) (this is a procedure)
(procedure argument) (this is a application which applies argument as real parameter to the procedure)
この言語のインタプリタをスキームで書いています。スキームはラムダ式をスキーム手続きに変更するので、それをリストで代用したい。誰でも私にアドバイスをもらえますか？
ラムダ計算インタープリターを実装しようとする前に、ラムダ計算について理解する必要があります。あなたの最初のステップは、ラムダ計算の用語の例と、それらが何を評価するかを書き留めることだと思います。それが難しい場合は、お知らせください。インターネット上には、ラムダ計算の用語とそれらが何に還元されるかを理解するのに役立つリソースがたくさんあります。
もっともらしく見えるものを次に示します。
http://www.cs.bham.ac.uk/~udr/popl/handout1.pdf
一緒に
問題を示す特定のコードを投稿できますか?? 多分私はここで完全に誤解しているかもしれませんが、あなたの言語にはある種のリーダーが必要だと思います. 起動してラムダキーワードを読み取ると、「実装」と呼ばれる必要があります。
この素晴らしい投稿をチェックしてください: Lispy in Chicken