home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / object / 4582 < prev    next >
Encoding:
Internet Message Format  |  1992-12-18  |  2.2 KB
  1. Path: sparky!uunet!olivea!inews.Intel.COM!tcad05!bongalon
  2. From: bongalon@tcad05.intel.com (Ben Bongalon)
  3. Newsgroups: comp.object
  4. Subject: Re: Object hidden state and side effects
  5. Message-ID: <BzF7tn.22C@inews.Intel.COM>
  6. Date: 17 Dec 92 20:34:34 GMT
  7. References: <1992Dec14.175402.1889@crd.ge.com> <1992Dec15.143243.16256@heeg.de> <1992Dec15.224536.13554@crd.ge.com> <BzC05w.2xA@newsflash.concordia.ca> <1992Dec17.001046.27321@crd.ge.com> <knight.724558491@cunews>
  8. Sender: news@inews.Intel.COM (USENET News System)
  9. Reply-To: bongalon@tcad05.intel.com (Ben Bongalon)
  10. Organization: Intel Corporation, Santa Clara, CA USA
  11. Lines: 39
  12. Nntp-Posting-Host: tcad05
  13.  
  14.  
  15. In article <knight.724558491@cunews>, knight@mrco.carleton.ca (Alan
  16. Knight) writes:
  17. |> In <1992Dec17.001046.27321@crd.ge.com> eaker@ukulele.crd.ge.com
  18. (Chuck Eaker) writes:
  19. |> 
  20. |> >the domain of imaginary numbers. If we implement this domain as
  21. |> >instances of a class that we create on the fly as needed, we could
  22. |> >well have multiple instances of the same imaginary number around. 
  23. |> >Thus, it is possible to confuse tests for identity with tests for
  24. |> >equality.  But ordinary people don't think of this as being
  25. |> >possible with imaginary numbers because two imaginary numbers are
  26. |> >identical iff they are equal.
  27.  
  28. i'm lost here.  as i see it, the only way one would have multiple
  29. instances of the same imaginary number around is if a value can be
  30. represented in multiple ways.  but how can that occur if all expressions
  31. that can be used to represent a value evaluates to the same thing?
  32.  
  33. |> Strangely enough, I think the two sides may be beginning to understand
  34. |> each other. It is true that if you use identity tests instead of
  35. |> equality, that it is possible to distinguish multiple instances of
  36. |> classes where this doesn't make very good intuitive sense.
  37. |> 
  38. |> However, what does identity mean for a value. If you tell a
  39. |> mathematician that two imaginary numbers are identical iff they are
  40. |> equal she will probably ask you what identity means?
  41.  
  42. Here's an example:
  43.  
  44.   1 + 2i  ==   (3-2) + (6/3)i  ==  1 + 2(i^5)
  45.  
  46.   they all evaluate to the same value and can be normalized into
  47.   a unique representation.  thus, all 3 expressions are equal
  48.   (identical).  how can one get multiple copies?
  49.  
  50.  
  51. Ben Bongalon
  52. Intel Corporation
  53.