1.1.6 条件式と述語

文責:@naoiwata

場合分け (case analysis)

規則に従って手続きを定義する構文を場合分けと呼ぶ.

(define (abs x)
  (cond ((> x 0) x)
        ((= x 0) 0)
        ((< x 0) (- x))))

• 条件式
  • 述語を使って式の場合分けを担う構文をと呼ぶ.
• 述語
  • 式の値が真 (#t) か偽 (#f) を解釈する式であり値を真か偽と解釈する式.
• cond 式
  • 特殊形式. 順に述語を評価し, 真ならば対応する式を評価する. 偽ならばその対応する式は評価せず次の述語の評価に進む.
• if 式
  • 特殊形式. まず述語を評価し, 真ならば帰結部 (consequent) と, 偽ならば代替部 (alternative) を評価する.
• and, or 式
  • 特殊形式. and は和集合を, or は積集合を評価する.
• not 式
  • 特殊形式. 引数の値が偽ならば #f と評価し, それ以外は全て #t と評価する.