Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!MITVMA.MIT.EDU!CBWP8008%IRUCCVAX.UCC.IE
From: CBWP8008%IRUCCVAX.UCC.IE@MITVMA.MIT.EDU (Ian Murphy)
Newsgroups: comp.lang.scheme
Subject: RE: Scheme Digest #105
Message-ID: <8904251032.AA23786@BLOOM-BEACON.MIT.EDU>
Date: 25 Apr 89 11:17:00 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 30


oops, made a mistake with my interpretation of the program yesterday,

I thought that

(define (foo bool)
   (if bool
       (define (result) #t)
       (define (result) #f))
   (result))

meant define the procedure result as the value #t/#f. My mistake was in
thinking #t/#f were values which couldn't evaluate (procedural thinking), in
fact (define (result) #t) is merely syntactic sugar for

(define result (lambda() #t))

Which, as most of you know only too well,is the lambda func which
evaluates '#t', which of course returns #t.

stupid mistake, too many years of pascal warps your way of thinking :-)



+-----------------------------------------------------------------------------+
|Ian Murphy (^v^)               | Internet   : IAN@VAX1.UCC.IE                |
|Dept. Computer Science         | ARPA       : IAN@IRUCCVAX.BITNET            |
|University College Cork,       | janet      : EARN%IRL.HEA.UCC.IRUCCVAX::IAN |
|Ireland.                       | Voice      : "IAN!!!"                       |
+-----------------------------------------------------------------------------+