Scheme - データによる抽象の構築(データ抽象入門(データとは何か(対の手続き表現, 非負の整数の対, べき乗, 積)))

計算機プログラムの構造と解釈[第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.5.を解いてみる。

その他参考書籍

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

問題 2.5.

コード(BBEdit, Emacs)

(define exp
  (lambda (base n)
    (define iter
      (lambda (n result)
        (if (= n 0)
            result
            (iter (- n 1)
                  (* base result)))))
    (iter n 1)))

(define cons
  (lambda (a b)
    (* (exp 2 a)
       (exp 3 b))))

(define car
  (lambda (x)
    (define iter
      (lambda (n count)
        (cond ((= n 0) 1)
              ((> (remainder n 2) 0)
               count)
              (else
               (iter (/ n 2)
                     (+ count 1))))))    
    (iter x 0)))

(define cdr
  (lambda (x)
    (define iter
      (lambda (n count)
        (cond ((= n 0) 1)
              ((> (remainder n 3) 0)
               count)
              (else
               (iter (/ n 3)
                     (+ count 1))))))    
    (iter x 0)))


(for-each
 (lambda (x)
   (print (car x))
   (print (cdr x)))
 (list (cons 5 10)
       (cons 0 5)))

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

$ gosh sample5.scm
5
10
0
5
$