home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / object / 4608 < prev    next >
Encoding:
Text File  |  1992-12-21  |  1.5 KB  |  36 lines
  1. Newsgroups: comp.object
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!cs.utexas.edu!torn!nott!cunews!cunews!knight
  3. From: knight@mrco.carleton.ca (Alan Knight)
  4. Subject: Re: Object hidden state and side effects
  5. Message-ID: <knight.724903894@cunews>
  6. Sender: news@cunews.carleton.ca (News Administrator)
  7. Reply-To: knight@mrco.carleton.ca (Alan Knight)
  8. Organization: Carleton University
  9. References: <1992Dec16.65250.10645@kei.is.s.u-tokyo.ac.jp> <1992Dec16.175126.14968@midway.uchicago.edu> <BzIFGp.K7@cs.uiuc.edu> <1992Dec20.155809.14236@midway.uchicago.edu>
  10. Date: Mon, 21 Dec 1992 02:11:34 GMT
  11. Lines: 25
  12.  
  13. In <1992Dec20.155809.14236@midway.uchicago.edu> dave@alex.uchicago.edu (Dave Griffith) writes:
  14.  
  15. >I've never said anything about bitwise comparison.  Equality on values might
  16. >certainly be user defined.  Even in these cases it should have restrictions,
  17. >e.g. it should be symmetric, reflexive, transitive, and substitutabilty of 
  18. >equals for equals should hold in all cases.
  19.  
  20. As I pointed out in an earlier posting, equality for IEEE standard
  21. floating point numbers is not reflexive (NaN != Nan). It may well be
  22. possible to come up with violations of other properties.
  23.  
  24. > Equality on objects would 
  25. >be identity.
  26.  
  27. I continue to find this totally unacceptable. I define objects with
  28. user-specified equality conditions all the time, and I mean objects in
  29. your sense, having mutable state.
  30.  
  31. -- 
  32.  Alan Knight  knight@mrco.carleton.ca  +1 613 788 2600x1027 
  33.  Dept. of Mechanical and Aerospace Engineering              
  34.  Carleton University, Ottawa, Ontario, Canada, K1S 5B6      
  35.  
  36.