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.
You must log in to post a comment.Login