Scheme - データによる抽象の構築(データ抽象入門(データとは何か(非負の整数, 加算を手続きで表現, Church numerals)))

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

開発環境

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

計算機プログラムの構造と解釈[第2版](ハロルド エイブルソン (著)、ジュリー サスマン (著)、ジェラルド・ジェイ サスマン (著)、Harold Abelson (原著)、Julie Sussman (原著)、Gerald Jay Sussman (原著)、和田 英一 (翻訳)、翔泳社、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の2(データによる抽象の構築)、2.1(データ抽象入門)、2.1.3(データとは何か)、問題 2.6.を解いてみる。

その他参考書籍

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

問題 2.6.

コード(BBEdit, Emacs)

(define zero (lambda (f) (lambda (x) x)))
(define add-1
  (lambda (n)
    (lambda (f)
      (lambda (x)
        (f ((n f) x))))))


(define num
  (lambda (n)
    ((n (lambda (n) (+ n 1))) 0)))

(print (num (add-1 zero)))

(define one
  (lambda (f)
    (lambda (x) (f x))))

(define two
  (lambda (f)
    (lambda (x) (f (f x)))))

(define +
  (lambda (a b)
    (lambda (f)
      (lambda (x)
        ((b f) ((a f) x))))))

(for-each
 (lambda (n) (print n))
 (list (num zero)
       (num one)
       (num two)
       (num (+ one two))))

入出力結果(Terminal(kscheme), REPL(Read, Eval, Print, Loop))

$ gosh sample6.scm
1
0
1
2
3
$