EoPL reading (114) 2.3 Representation Strategies for Data Types
Exercise 2.24
これ、英語を解読する時点で難解。ってか substitution なオブジェクトが何なのかがイメージできてない。BNF から考える必要あり、なのだろうか。
ええと、apply-subst 手続きは
(define apply-subst (lambda (s i)
な定義で substitution なオブジェクトに i をナニ。あるいは extend-subst 手続きは
(define extend-subst (lambda (i t s)
な定義で s な substitution を拡張したナニを戻すのか。ただし i が t な term オブジェクトで使われていない、というのが条件、という事?
ええと、empty-subst が何なのか、が分かってないな。
例えばこんなカンジ?
(define test (extend-subst 'a (var-term y) (extend-subst 'b (var-term x)) (empty-subst)))
なんか微妙。empty-subst は変換対象になる term な式を取るのかな。
うーん
明日は朝に検討な時間が取れそげなので、もう少し検討しますが出力は略。