【scheme】letの使い方がわかりません。。

前提・実現したいこと

下のソースコードのような関数を作りyに関数を与えて、そのうちの**という表記をexptに、xを引数で与えたtに置き換えて評価してyの値を計算させたいのですが、下のようなエラーが出てしまいます。どうしたら良いでしょうか？
以下のように引数を与え、このようなエラーが出ています。
初心者のため、何か大きく勘違いしてそうなのですが、よろしくお願いします。

(myeval '(+ (** x 4) (** x 3) 1) 3)

**: undefined;

該当のソースコード

scheme
1(define myeval
2   (lambda (y t)
3      (let ((** expt) (x t))
4           (eval y (interaction-environment))
5      )  
6   )
7)
8

行動規範の内容に同意します

回答1件

ベストアンサー

let というより eval の使い方がおかしいですね。通常は interaction-environment が返す環境というのはトップレベルでの束縛です。つまり、質問の事例では ** や x は含まれないことになります。

eval の (または eval に関連する) 仕様については仕様の改定ごとにも若干の変更がありますが、ローカル変数を捕捉する方法はありません。

どうしても eval でそのようなことをしたいということであれば以下のようにすればたぶん動くでしょう。

(define ** expt)
(define x #f)

(define (myeval y t)
  (set! x t)
  (eval y (interaction-environment)))

(myeval '(+ (** x 4) (** x 3) 1) 3)

新しい仕様ではもう少しまっとうな方法があるのですがそれを説明するのは煩雑なのでここでは述べません。

質問の趣旨としては let や eval を理解したいということなのだと思いますが、リストの操作を自分でやって式の解を出すならこのような要領で書くこともできます。 (質問中の例を処理できるだけのとても簡単なものですが。)

(define (myeval y t)
   (if (list? y)
       (case (car y)
         ((**) (apply expt (map (lambda(x)(myeval x t)) (cdr y))))
         ((+) (apply + (map (lambda(x)(myeval x t)) (cdr y)))))
       (case y
         ((x) t)
         (else y))))

投稿2020/08/19 20:01