Scheme - 真偽値を扱う手続き(any-pred, every-pred手続き)

プログラミングGauche
(オライリージャパン)
Kahuaプロジェクト (著) 川合 史朗 (監修)

開発環境

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

プログラミングGauche(Kahuaプロジェクト (著)、 川合 史朗 (監修)、オライリージャパン)の8章(真偽値と条件判断)、8.3(真偽値を扱う手続き)、練習問題(p.101)を解いてみる。

その他参考書籍

• Scheme手習い(Daniel P. Friedman (著), Matthias Felleisen (著), 元吉 文男 (翻訳), 横山 晶一 (翻訳), オーム社)
• 計算機プログラムの構造と解釈(Gerald Jay Sussman(原著)、Julie Sussman(原著)、Harold Abelson(原著)、和田 英一(翻訳)、ピアソンエデュケーション、原書: Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)(SICP))
• Instructor's Manual to Accompany Structure & Interpretation of Computer Programs

練習問題(p.101)

コード(BBEdit, Emacs)

sample.scm

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

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

(define (any-pred . preds)
  (lambda (x)
    (any (lambda (pred)
           (pred x))
         preds)))

(define (every-pred . preds)
  (lambda (x)
    (every (lambda (pred)
             (pred x))
           preds)))

(define positive-or-integer? (any-pred integer? positive?))

(define positive-integer? (every-pred integer? positive?))

(print "正の数または整数かどうか")
(for-each (lambda (x)
            (print x ": " (positive-or-integer? x)))
          '(1 2 1.2 2.1 -1 -1.2 -2 -2.1))

(print "正の整数かどうか")
(for-each (lambda (x)
            (print x ": " (positive-integer? x)))
          '( 4 -3 2.4))

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

$ ./sample.scm
正の数または整数かどうか
1: #t
2: #t
1.2: #t
2.1: #t
-1: #t
-1.2: #f
-2: #t
-2.1: #f
正の整数かどうか
4: #t
-3: #f
2.4: #f
$