home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / function / 926 < prev    next >
Encoding:
Internet Message Format  |  1992-07-20  |  1.7 KB
  1. Path: sparky!uunet!mcsun!uknet!icdoc!usenet
  2. From: sjv@doc.ic.ac.uk
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Lazy languages considered questionable
  5. Message-ID: <1992Jul21.093354.16474@doc.ic.ac.uk>
  6. Date: 21 Jul 92 09:33:54 GMT
  7. References: <BrFpJ9.2Ky@news.cso.uiuc.edu> <1992Jul20.190137.10410@mnemosyne.cs.du.edu> <1992Jul20.213929.10686@m.cs.uiuc.edu>
  8. Sender: usenet@doc.ic.ac.uk
  9. Organization: Imperial College
  10. Lines: 28
  11. Nntp-Posting-Host: dse-mac-l1-83.doc.ic.ac.uk
  12.  
  13. In article <1992Jul20.213929.10686@m.cs.uiuc.edu> morrison@dante.cs.uiuc.edu
  14. (Vance Morrison) writes:
  15. >...
  16. >That is the very point I was trying to make.  Namely that when you
  17. >use 'lazy lists' or other structures that work only in lazy languages
  18. >you ARE worrying about order of evaluation.   (Since you have to make
  19. >sure that your program terminates).   Now granted, you have to worry
  20. >about order of evaluation in a strict language too, but since lazy
  21. >data structures are not allowed, this reason can be highly localized
  22. >(that is the termination properties of a piece of code are only 
  23. >very loosely coupled to the inputs to that code).   If infinite 
  24. >structures are allowed, that reasoning is not longer has localized
  25. >(since figuring out the termination properties now depends strongly
  26. >on the input given).  
  27. >...
  28.  
  29. Please can we have some examples to illustrate these points? 
  30.  
  31.  
  32. >The bottom line is that if you REALLY want to abstract order of 
  33. >evaluation away, you have to use a STRONGLY NORMALIZING language
  34. >(they do exist, take type theory for example).   Now order of evaluation
  35. >truely doesn't matter since any evaluation order terminates.  
  36.  
  37. On the face of it, evaluation order is related more closely to the
  38. Church-Rosser property than to strong normalization.
  39.  
  40. Steve Vickers.
  41.