#lang racket

;;;;;;;;;;
;; 4.25 ;;
;;;;;;;;;;

(define (my-unless condition usual-value exceptional-value)
  (if condition exceptional-value usual-value))

(define (factorial n)
  (my-unless (= n 1)
             (* n (factorial (sub1 n)))
             1))

;; When evaluating (factorial 5), the final recursive call will be
;; (my-unless 1 (* 1 (factorial 0)) 1).  Because of eager evaluation, Scheme will try
;; to evaluate (factorial 0) and fall into an infinite loop.

;; But lazy evaluation would not evaluate the unneeded usual-value and terminate as
;; expected, returning 120.

(define (lazy-my-unless condition delayed-usual-value exceptional-value)
  (if condition
    exceptional-value
    (force delayed-usual-value)))

(define (factorial2 n)
  (lazy-my-unless (= n 1)
             (delay (* n (factorial2 (sub1 n))))
             1))

(factorial2 5)
;; 120

;;;;;;;;;;
;; 4.26 ;;
;;;;;;;;;;

;; Unless would be implemented exactly like if but with branches reversed.

;; If you implemented unless as a special form, you could not pass it to map like you
;; could a procedure.  For example, you cannot pass if to map:

(define bools (list false true false))
(define xs '(a b c))
(define ys '(1 2 3))

;; (map if bools xs ys)
;; ;; . if: bad syntax in: if