Scheme - 超言語的抽象(超循環評価器、式の表現(名前付きletを導出(構文変換))

計算機プログラムの構造と解釈
Gerald Jay Sussman, Julie Sussman
Harold Abelson (原著) 和田 英一 (翻訳)

開発環境

• OS X Lion - Apple(OS)
• Emacs、BBEdit - Bare Bones Software, Inc. (Text Editor)
• プログラミング言語: MIT/GNU Scheme

計算機プログラムの構造と解釈(Gerald Jay Sussman(原著)、Julie Sussman(原著)、Harold Abelson(原著)、和田 英一(翻訳)、ピアソンエデュケーション、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の4(超言語的抽象)、4.1(超循環評価器)、4.1.2(式の表現)、問題 4.8を解いてみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs

問題 4.8

コード(BBEdit)

sample.scm

(define (let? exp) (tagged-list? exp 'let))

(define (let-vars-and-exps exp) (cadr exp))

(define (let-body exp) (cddr exp))

(define (let-parameters exp)
  (map car (let-vars-and-exps exp)))

(define (let-exps exp)
  (map cadr (let-vars-and-exps exp)))

(define (named-let? exp) (pair? cadr exp))

(define (named-let-var exp) (cadr exp))

(define (named-let-bindings exp) (cddar exp))

(define (named-let-body exp) (cdddr exp))

(define (let->combination exp)
  (if (named-let? exp)
      (make-begin
        (list 
          (list 'define 
                (named-let-var exp)
                (make-lambda (map car (named-let-bindings exp))
                             (named-let-body exp)))
          (named-let-body exp)))
      (cons (make-lambda (let-parameters exp)
                         (let-body exp))
            (let-exps exp)))

;; 組み込み
(define (eval exp env)
  (cond ()
        ;; …
        ((cond? exp) (eval (cond->if exp) env))
        ((let? exp) (eval (let->combination exp) env))
        ;; …))