Abdulaziz Ghuloum wrote:
One advantage of this is that it would be much easier to create a purely
functional subset of Scheme.

How do you do the following functionally?

(letrec ([f (g (lambda () f))])
  f)


Well, f is then given by

   (g (lambda () (g (lambda () (g (lambda () g ...))))))

So what?  It makes perfect sense if (define (g x) #t)

I take it (ne -- I assume) that there is some subtlety I'm
missing here but, please, what is it?

-t



_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to