home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / object / 3251 < prev    next >
Encoding:
Internet Message Format  |  1992-08-18  |  2.2 KB
  1. Path: sparky!uunet!dtix!darwin.sura.net!Sirius.dfn.de!chx400!bernina!neptune!santas
  2. From: santas@inf.ethz.ch (Philip Santas)
  3. Newsgroups: comp.object
  4. Subject: Re: O.M() versus M(O) notation
  5. Message-ID: <1992Aug18.225739.17455@neptune.inf.ethz.ch>
  6. Date: 18 Aug 92 22:57:39 GMT
  7. References: <PCG.92Aug16184526@aberdb.aber.ac.uk> <DOUG.92Aug16200024@monet.ad <PCG.92Aug18161744@aberdb.aber.ac.uk>
  8. Sender: news@neptune.inf.ethz.ch (Mr News)
  9. Organization: Dept. Informatik, Swiss Federal Institute of Technology (ETH), Zurich, CH
  10. Lines: 37
  11. Nntp-Posting-Host: spica.inf.ethz.ch
  12.  
  13.  
  14. In article <PCG.92Aug18161744@aberdb.aber.ac.uk> pcg@aber.ac.uk (Piercarlo Grandi) writes:
  15. >On 17 Aug 92 04:00:24 GMT, doug@monet.ads.com (Doug Morgan) said:
  16. >
  17. >doug> O An example?  How about seeing how the new system would address a
  18. >doug> question that pops up on this group every month or two.  The
  19. >doug> question is always how to organize the inheritance of a mutable
  20. >doug> square class instance with three slots and a mutable rectangle
  21. >doug> class instance with four slots.
  22.  
  23. By making the former a subclass of the latter. 
  24. If I remember correct, the problem was not actually if square should
  25. be a subclass of rectangle, but if this is possible in C++ :-)
  26.  
  27. >doug> Now, how would this new system help clarify the notions of
  28. >doug> abstract types (rectangle and square),
  29. >
  30. >In no way at all! That's a problem for algebrists to solve. What is the
  31. >optimal conceptual orthogonal base for an algebra that encompasses both?
  32. >It's not a problem for the language designer. The task of the latter is
  33. >to provide clean, general notation to _describe_ such things.
  34.  
  35. Why not to _construct_ such things? What is the advantage of having
  36. something _just_ described? (notice that by construction I do not
  37. mean necessarily implementation, but definition of structures).
  38.  
  39. Philip Santas
  40.  
  41.   "In an evolving universe those who stand still are really moving backwards"
  42. --------------------------------------------------------------------------------
  43. email: santas@inf.ethz.ch                 Philip Santas
  44. Mail: Dept. Informatik                Department of Computer Science
  45.       ETH-Zentrum              Swiss Federal Institute of Technology
  46.       CH-8092 Zurich                       Zurich, Switzerland
  47.       Switzerland
  48. Phone: +41-1-2547391
  49.      
  50.