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 な式を取るのかな。

うーん

明日は朝に検討な時間が取れそげなので、もう少し検討しますが出力は略。