home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / scheme / 2787 < prev    next >
Encoding:
Internet Message Format  |  1992-12-18  |  1.7 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!usc!news.aero.org!doner
  2. From: doner@aero.org (John Doner)
  3. Newsgroups: comp.lang.scheme
  4. Subject: Re: Something I don't understand about bindings
  5. Date: 18 Dec 1992 00:46:04 GMT
  6. Organization: The Aerospace Corporation, El Segundo, CA
  7. Lines: 31
  8. Distribution: world
  9. Message-ID: <1gr70cINN7bu@news.aero.org>
  10. References: <HANCHE.92Dec15134343@ptolemy.ams.sunysb.edu> <1glic3INNq5b@news.aero.org> <MAX.92Dec16143412@Kolmogorov.gac.edu>
  11. NNTP-Posting-Host: armadillo.aero.org
  12.  
  13. In article <MAX.92Dec16143412@Kolmogorov.gac.edu> Max Hailperin <max@nic.gac.edu> writes:
  14. >In article <1glic3INNq5b@news.aero.org> doner@Aero.org (John Doner) writes:
  15. >
  16. >   ... On the other hand, his original define (again according to r4rs) is
  17. >   equivalent to
  18. >
  19. >           (define timed-prime-test
  20. >                   (lambda (n)
  21. >                           (define start-time (runtime))
  22. >                           (define found-prime? (prime? n))
  23. >                           .
  24. >                           .
  25. >                           .
  26. >                                   ))
  27. >
  28. >   So the sequence of expressions beginning with the inner defines is
  29. >   the body of a lambda expression.  And r4rs says the expressions in
  30. >   the body of a lambda expression are to be evaluated sequentially....
  31. >
  32. >Ahhh..., but they *aren't* expressions.  Read R4RS carefully and you
  33. >will find that a definition is not an expression.  Thus the fact that
  34. >the body *expressions* are evaluated in order is irrelevant, and
  35.  
  36. U R Right! Thanks.  Coming from the culture of logicians, I was used to the
  37. term "expression" referring to any sequence of symbols of the language, whereas
  38. it has a much more narrow meaning here.
  39.  
  40. John
  41.  
  42.  
  43.  
  44.