home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!olivea!spool.mu.edu!agate!anarres.CS.Berkeley.EDU!bh
- From: bh@anarres.CS.Berkeley.EDU (Brian Harvey)
- Newsgroups: comp.lang.scheme
- Subject: Re: Unspecified values in R4RS
- Message-ID: <1jn7ou$m5n@agate.berkeley.edu>
- Date: 21 Jan 93 22:23:26 GMT
- References: <1993Jan21.195822.23639@sqwest.wimsey.bc.ca>
- Organization: University of California, Berkeley
- Lines: 16
- NNTP-Posting-Host: anarres.cs.berkeley.edu
-
- The article raises two questions, one about "unspecified" and one about EQ?.
-
- To the second question, it seems to me that part of the spirit of EQ? is that
- it should only take one machine instruction to compute the result. That's
- why EQ? and EQV? are provided as separate mechanisms; EQV? is more "the right
- thing" but EQ? is meant to be *fast*! So if you are proposing some special
- mechanism that checks for unspecifiedness and takes extra trouble to return
- false, I say that's a bad idea, not because of a wrong answer but because
- of the extra trouble.
-
- About unspecified values, in my *strong* opinion these should all be
- expunged from the standard and replaced with a nonprinting value, and
- the procedures that now have unspecified return values should all be
- required to return that. It doesn't really matter for experienced Scheme
- programmers, but it's really confusing to a learner who invokes DISPLAY
- and sees *two* values printed.
-