Scheme - 超言語的抽象(超循環評価器(評価器をプログラムとし走らせる(基本手続きオブジェクト)))

計算機プログラムの構造と解釈[第2版]
(翔泳社)
ハロルド エイブルソン (著) ジュリー サスマン (著)
ジェラルド・ジェイ サスマン (著)
Harold Abelson (原著) Julie Sussman (原著)
Gerald Jay Sussman (原著) 和田 英一 (翻訳)

開発環境

• OS X Mavericks - Apple(OS)
• Emacs (CUI)、BBEdit - Bare Bones Software, Inc. (GUI) (Text Editor)
• Scheme (プログラミング言語)
• Gauche (処理系)

計算機プログラムの構造と解釈[第2版](ハロルド エイブルソン (著)、ジュリー サスマン (著)、ジェラルド・ジェイ サスマン (著)、Harold Abelson (原著)、Julie Sussman (原著)、Gerald Jay Sussman (原著)、和田 英一 (翻訳)、翔泳社、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の4(超言語的抽象)、4.1(超循環評価器)、4.1.4(評価器をプログラムとし走らせる)、問題 4.14.を解いてみる。

その他参考書籍

• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs
• プログラミングGauche (Kahuaプロジェクト (著), 川合 史朗 (監修), オライリージャパン)

問題 4.14.

;;; M-Eval input:"
(map + '(1) '(2))

これが評価される手順を見ていく

input
(map + '(1))

output
(eval (map + '(1)) the-global-environment)

(application? (map + '(1))) ; #t

(apply (eval (operator (map + '(1))) the-global-environment)
       (list-of-values (operands (map + '(1)))
                       the-global-environment))

procedure:
(eval (operator (map + '(1))) the-global-environment)

(eval map the-global-environment)

(variable? map)                         ; #t

(lookup-variable-value map the-global-environment)

(primitive map)

arguments:
(list-of-values (operands (map + '(1))) the-global-environment)
(list-of-values (+ '(1)) the-global-environment)
((primitive +) '(1))

;; (apply procedure arguments)
(apply (primitive map) ((primitive +) '(1)))

(primitive-procedure? (priitive map))   ; #t
(apply-primitive-procedure (primitive map) ((primitive +) '(1)))
(apply-in-underlying-scheme
 (primitive-implementation (primitive map))
 ((primitive +) '(1)))

(map (primitive +) '(1))

よって

(map + '(1))
(1)

となるはずが、mapの第1引数は+ではなく、基本手続きオブジェクトの(primitive +)となるので、Louisのmapをシステム版を超循環評価器の基本手続きとして組み込んだものは失敗する。