Suppose that (in ordinary applicative-order Scheme) we define
as shown above and then define
in terms of
(define (factorial n) (unless (= n 1) (* n (factorial (- n 1))) 1))
What happens if we attempt to evaluate
? Will our definitions work in a normal-order language?
There are no comments yet.
You must log in to post a comment.Login