Scheme - 手続きによる抽象の構築(演算子と合成式、組合せ)

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

開発環境

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

計算機プログラムの構造と解釈(Gerald Jay Sussman(原著)、Julie Sussman(原著)、Harold Abelson(原著)、和田 英一(翻訳)、ピアソンエデュケーション、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の1(手続きによる抽象の構築)、1.1(プログラミングの要素)、1.1.6(条件式と述語)、問題 1.4.を解いてみる。

その他参考書籍

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

問題 1.4.

1. (if (> b 0) + -)を評価
2. (> b 0)を評価
3. 演算子は+あるいは-になる
4. (演算子 a b)を評価
5. 値が返される

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

$ gosh
gosh> 
(define (a-plus-abs-b a b)
  ((if (> b 0) + -) a b))
a-plus-abs-b
gosh> (a-plus-abs-b 5 10)
15
gosh> (a-plus-abs-b 5 -10)
15
gosh> (exit)
$