手動トレイスしてみる。まずは (list (amb 1 2 3)) で。この式は application 認定とゆー事で以下の手続きで評価される。 (define (analyze-application exp) (let ((fproc (analyze (operator exp))) (aprocs (map analyze (operands exp)))) (lambda (env …

今日もへろへろ。 SoftwareDesign の 11 月号買ったんですが、ざくっとしか目を通せてません。がしかし、結構ポイント高いッス。明日は机上ベースで (list (amb 1 2) (amb 1 2)) 程度のナニを (以下略本当にヤレるのかどうかは微妙。