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.1(例: 有理数の算術演算)、問題 2.1.を解いてみる。

その他参考書籍

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

問題 2.1.

コード(BBEdit, Emacs)

(define gcd
  (lambda (a b)
    (if (= b 0)
        a
        (gcd b (remainder a b)))))

(define numer (lambda (x) (car x)))
(define denom (lambda (x) (cdr x)))

(define make-rat
  (lambda (n d)
    ((lambda (g)
       (if (< d 0)
           (cons (/ (* -1 n) g)
                 (/ (* -1 d) g))
           (cons (/ n g)
                 (/ d g))))
     (abs (gcd n d)))))

(define (print-rat x)
  (display (numer x))
  (display "/")
  (print (denom x)))
  
           

(for-each
 (lambda (rat)
   (print-rat rat))
 (list (make-rat 1 2)
       (make-rat 1 -2)
       (make-rat -1 2)
       (make-rat -1 -2)))

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

$ gosh < sample1.scm
1/2
-1/2
-1/2
1/2
$