home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / scheme / 2940 < prev    next >
Encoding:
Text File  |  1993-01-21  |  1.1 KB  |  24 lines
  1. Newsgroups: comp.lang.scheme
  2. Path: sparky!uunet!usc!sdd.hp.com!nigel.msen.com!yale.edu!yale!mintaka.lcs.mit.edu!zurich.ai.mit.edu!jaffer
  3. From: jaffer@zurich.ai.mit.edu (Aubrey Jaffer)
  4. Subject: Re: Unspecified values in R4RS
  5. In-Reply-To: dak@sqwest.wimsey.bc.ca's message of 21 Jan 93 19:58:22 GMT
  6. Message-ID: <JAFFER.93Jan21233556@camelot.ai.mit.edu>
  7. Sender: news@mintaka.lcs.mit.edu
  8. Organization: M.I.T. Artificial Intelligence Lab.
  9. References: <1993Jan21.195822.23639@sqwest.wimsey.bc.ca>
  10. Date: Fri, 22 Jan 1993 04:35:56 GMT
  11. Lines: 11
  12.  
  13. In article <1993Jan21.195822.23639@sqwest.wimsey.bc.ca> dak@sqwest.wimsey.bc.ca (David A Keldsen) writes:
  14.  
  15.    How far can we go in helping programmers to detect dependencies
  16.    on undefined return values?  Should "unspecified" be a contagious
  17.    quality of Scheme objects, as inexact is for Scheme numbers?  
  18.    Are there any papers available on this topic?
  19.  
  20. In Backus' Lecture in Computer Science describing the language FP he
  21. has a value called top (which looks like an upside down T) which
  22. replaces all error signalling.  It is contagious through all except
  23. conditional expressions, if memory serves.
  24.