Scheme - 標準部品化力、オブジェクトおよび状態(ストリーム(ストリームパラダイムの開発(対の無限のストリーム(整数全ての対(二重に混ぜ合わせる)))))

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

開発環境

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

計算機プログラムの構造と解釈[第2版](ハロルド エイブルソン (著)、ジュリー サスマン (著)、ジェラルド・ジェイ サスマン (著)、Harold Abelson (原著)、Julie Sussman (原著)、Gerald Jay Sussman (原著)、和田 英一 (翻訳)、翔泳社、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))の3(標準部品化力、オブジェクトおよび状態)、3.5(ストリーム)、3.5.3(ストリームパラダイムの開発)、対の無限のストリーム、問題 3.67.を解いてみる。

その他参考書籍

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

問題 3.67.

コード(BBEdit, Emacs)

sample67.scm

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

(load "./stream.scm")

(define (enumerate-interval low high)
  (if (> low high)
      '()
      (cons low
            (enumerate-interval (+ low 1)
                                high))))

(define (interleave s1 s2)
  (if (stream-null? s1)
      s2
      (cons-stream (stream-car s1)
                   (interleave s2
                               (stream-cdr s1)))))

(define (pairs s t)
  (cons-stream
   (list (stream-car s) (stream-car t))
   (interleave
    (stream-map (lambda (x)
                  (list (stream-car s) x))
                (stream-cdr t))
    (interleave
     (stream-map (lambda (x)
                   (list x (stream-car t)))
                 (stream-cdr s))
     (pairs (stream-cdr s) (stream-cdr t))))))

(define s (pairs integers integers))

(for-each (lambda (n)
            (print (stream-ref s n)))
          (enumerate-interval 0 100))

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

$ ./sample67.scm
(1 1)
(1 2)
(2 1)
(1 3)
(2 2)
(1 4)
(3 1)
(1 5)
(2 3)
(1 6)
(4 1)
(1 7)
(3 2)
(1 8)
(5 1)
(1 9)
(2 4)
(1 10)
(6 1)
(1 11)
(3 3)
(1 12)
(7 1)
(1 13)
(2 5)
(1 14)
(8 1)
(1 15)
(4 2)
(1 16)
(9 1)
(1 17)
(2 6)
(1 18)
(10 1)
(1 19)
(3 4)
(1 20)
(11 1)
(1 21)
(2 7)
(1 22)
(12 1)
(1 23)
(5 2)
(1 24)
(13 1)
(1 25)
(2 8)
(1 26)
(14 1)
(1 27)
(4 3)
(1 28)
(15 1)
(1 29)
(2 9)
(1 30)
(16 1)
(1 31)
(6 2)
(1 32)
(17 1)
(1 33)
(2 10)
(1 34)
(18 1)
(1 35)
(3 5)
(1 36)
(19 1)
(1 37)
(2 11)
(1 38)
(20 1)
(1 39)
(7 2)
(1 40)
(21 1)
(1 41)
(2 12)
(1 42)
(22 1)
(1 43)
(4 4)
(1 44)
(23 1)
(1 45)
(2 13)
(1 46)
(24 1)
(1 47)
(8 2)
(1 48)
(25 1)
(1 49)
(2 14)
(1 50)
(26 1)
(1 51)
(3 6)
$