Attempt to evaluate Factorial
Suppose that (in ordinary applicative-order Scheme) we define
unless
as shown above and then define
factorial
in terms of
unless
as
(define (factorial n)
(unless (= n 1)
(* n (factorial (- n 1)))
1))
What happens if we attempt to evaluate
(factorial 5)
? Will our definitions work in a normal-order language?