Scheme - データによる抽象の構築(階層データ構造と閉包性(公認インターフェースとしての並び(並びの演算(右畳み込み、 左畳み込みによるreverse手続きの定義))))

計算機プログラムの構造と解釈
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))の2(データによる抽象の構築)、2.2(階層データ構造と閉包性)、2.2.3(公認インターフェースとしての並び)、並びの演算、問題 2.39.を解いてみる。

その他参考書籍

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

問題 2.39.

コード(BBEdit, Emacs)

sample.scm

#!/usr/bin/env gosh
;; -*- coding: utf-8 -*-

;; これまでに書いた手続き
(load "./procedures.scm")

(define (reverse1 sequence)
  (fold-right (lambda (x y)
                (append y (list x)))
              nil
              sequence))

(define (reverse2 sequence)
  (fold-left (lambda (x y)
               (cons y x))
             nil
             sequence))

(for-each (lambda (sequence)
            (print (reverse sequence))
            (print (reverse1 sequence))
            (print (reverse2 sequence)))
          (list '(1)
                '()
                (list 1 2 3 4 5)
                (list (list 1 2) 3 4 5)
                (list 1 2 3 (list 4 5))
                (list 1 (list 2 3) 4 5)
                (list (list 1 2) 3 (list 4 5))))

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

$ ./sample.scm
(1)
(1)
(1)
()
()
()
(5 4 3 2 1)
(5 4 3 2 1)
(5 4 3 2 1)
(5 4 3 (1 2))
(5 4 3 (1 2))
(5 4 3 (1 2))
((4 5) 3 2 1)
((4 5) 3 2 1)
((4 5) 3 2 1)
(5 4 (2 3) 1)
(5 4 (2 3) 1)
(5 4 (2 3) 1)
((4 5) 3 (1 2))
((4 5) 3 (1 2))
((4 5) 3 (1 2))
$