home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / object / 4618 < prev    next >
Encoding:
Internet Message Format  |  1992-12-22  |  2.6 KB
  1. Path: sparky!uunet!gatech!europa.asd.contel.com!howland.reston.ans.net!zaphod.mps.ohio-state.edu!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!spool.mu.edu!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: <BzMnKp.B4J@inews.Intel.COM>
  6. Date: 21 Dec 92 20:58:00 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> <BzF7tn.22C@inews.Intel.COM> <knight.724800099@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: 46
  12. Nntp-Posting-Host: tcad05
  13.  
  14.  
  15. In article <knight.724800099@cunews>, knight@mrco.carleton.ca (Alan
  16. Knight) writes:
  17. |> In <BzF7tn.22C@inews.Intel.COM> bongalon@tcad05.intel.com (Ben
  18. Bongalon) writes:
  19. |> >In article <knight.724558491@cunews>, knight@mrco.carleton.ca (Alan
  20. |> >Knight) writes:
  21. |> >|> However, what does identity mean for a value. If you tell a
  22. |> >|> mathematician that two imaginary numbers are identical iff they are
  23. |> >|> equal she will probably ask you what identity means?
  24. |> 
  25. |> >Here's an example:
  26. |> 
  27. |> >  1 + 2i  ==   (3-2) + (6/3)i  ==  1 + 2(i^5)
  28. |> 
  29. |> >  they all evaluate to the same value and can be normalized into
  30. |> >  a unique representation.  thus, all 3 expressions are equal
  31. |> >  (identical).  how can one get multiple copies?
  32. |> 
  33. |> This seems like an excellent example of what I was talking about. You
  34. |> apparently do not disintguish between identity and equality for
  35. |> complex numbers.  If my representation of complex numbers was, for
  36. |> example, strings, then "1+2i" and "1+2(i^5)" are not in any normal
  37. |> sense identical, but they are equal.
  38.  
  39. my question is:
  40.  
  41. why would you want to consider "i" and "(i^5)" as equal but not
  42. identical values? Do you consider "1" and "(3-2)" equal but not 
  43. identical also?  From a pragmatic point of view, the distinction
  44. between the simplified and unsimplified forms of the expressions 
  45. seem questionable.
  46.  
  47.  
  48. |> If I, as a user, type in these two expressions on the keyboard, I
  49. |> would expect to get separate instances of complex numbers (i.e.
  50. |> multiple copies) of equal values.
  51.  
  52. Why? Unless there is a specific need for distinction, I as a user
  53. would be more interested in the simplified form (ie, the semantic
  54. definition) of an expression rather.  I don't want to distinguish 
  55. the _infinite_ number of ways that a value can be represented in.
  56.  
  57.  
  58. Ben Bongalon
  59. Intel Corporation
  60.