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?


There are no comments yet.

Authentication required

You must log in to post a comment.

Login