2009-09-04から1日間の記事一覧

EoPL reading (78) 2.2 An Abstraction for Inductive Data Type

Exercise 2.9 ここで扱う parse-expression は例示されている以下が対象という事で。 (define parse-expression (lambda (datum) (cond ((symbol? datum) (var-exp datum)) ((pair? datum) (if (eqv? (car datum) 'lambda) (lambda-exp (caadr datum) (parse…

EoPL reading (77) 2.2 An Abstraction for Inductive Data Type

マルっと纏める方向で現実トウヒ。var-exp な分岐の以下の部分を (var-exp (id) (if (memq id arg) (if (or (null? rslt) (not (memq id rslt))) (append rslt (list id)) rslt) rslt))手続きにしてしまって渡せば良いな、とゆーコトで以下。