ex_1_05.clj

(ns sicp.chapter-1.part-1.ex-1-05)

; Exercise 1.5
; Ben Bitdiddle has invented a test to determine whether the interpreter he is faced with is
; using applicative-order evaluation or normal-order evaluation. He defines the following two procedures:

(defn p
  []
  p)

(defn test_1_5
  [x y]
  (if (= x 0) 0 y))

; Then he evaluates the expression
; (test_1_5 0 p)

; What behavior will Ben observe with an interpreter that uses applicative-order evaluation?
; What behavior will he observe with an interpreter that uses normal-order evaluation?
; Explain your answer. (Assume that the evaluation rule for the special form if is the same whether
; the interpreter is using normal or applicative order:
; The predicate expression is evaluated first, and the result
; determines whether to evaluate the consequent or the alternative expression.)