home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / object / 3304 < prev    next >
Encoding:
Internet Message Format  |  1992-08-23  |  3.2 KB
  1. Path: sparky!uunet!pipex!slxsys!warwick!uknet!gdt!aber!aberfa!pcg
  2. From: pcg@aber.ac.uk (Piercarlo Grandi)
  3. Newsgroups: comp.object
  4. Subject: Re: O.M() versus M(O) notation
  5. Message-ID: <PCG.92Aug23210938@aberdb.aber.ac.uk>
  6. Date: 23 Aug 92 21:09:38 GMT
  7. References: <PCG.92Aug18133356@aberdb.aber.ac.uk> <d!!n91k.objsys@netcom.com>
  8.     <ARO.92Aug21170505@sibyl.aber.ac.uk> <91_n6rp.objsys@netcom.com>
  9. Sender: news@aber.ac.uk (USENET news service)
  10. Reply-To: pcg@aber.ac.uk (Piercarlo Grandi)
  11. Organization: Prifysgol Cymru, Aberystwyth
  12. Lines: 62
  13. In-Reply-To: objsys@netcom.com's message of 21 Aug 92 19: 32:41 GMT
  14. Nntp-Posting-Host: aberdb
  15.  
  16. On 21 Aug 92 19:32:41 GMT, objsys@netcom.com (Bob Hathaway) said:
  17.  
  18. objsys> Piercarlo and I were discussing the hierarchical vs. graph
  19. objsys> question, I was on the graph side (as I thought he was) and he
  20. objsys> gave some meaningless example.  After providing some true
  21. objsys> graphical examples and pointing out my graph orientation of
  22. objsys> several years, he ignored my comments and then claimed I was
  23. objsys> advocating the hierarchical approach!
  24.  
  25.         Version 0.1ALPHA of Bob Hathaway's opinions:
  26.  
  27. pcg> There is absolutely no reason to believe that structural reuse
  28. pcg> opportunities need to happen in a hierarchical fashion like with
  29. pcg> inheritance.
  30.  
  31. objsys> Sure there is.  We do it all the time; its called classification.
  32.  
  33. pcg> Yes, but all hierarchical taxonomies are inappropriate, in the sense
  34. pcg> that they always cause bad classifications. 
  35.  
  36.         Version 0.2ALPHA of Bob Hathaway's opinions:
  37.  
  38. objsys> No, they don't.  As discussed under devices, they can be quite
  39. objsys> appropriate.  And without an explicit inheritance relation there
  40. objsys> can be excessive redundancy.
  41.  
  42.         ALPHA testing of these opinions:
  43.  
  44. pcg> Once wants the ability (my favourite peeve) to independently
  45. pcg> reuse interfaces, specifications, and implementations, and a
  46. pcg> general purpose algebra for all of thse things.
  47.  
  48. objsys> Some systems with inheritance may not provide this but I don't
  49. objsys> see any inherent restrictions.
  50.  
  51. pcg> Well, except that you insist otherwise that type systems should be
  52. pcg> hierarchical. Isn't that a fairly large inherent restriction?
  53.  
  54.         Version 0.5BETA:
  55.  
  56. objsys> No I don't and never have.  As pointed out above, the is-a
  57. objsys> relation does not have a hierarchical restriction and indeed
  58. objsys> further justifies the separation of type and class.  I defended
  59. objsys> classification, not strict hierarchies.
  60.  
  61.  
  62.  
  63. Comp.object as an ALPHA/BETA test site for opinions. Wonderful for some.
  64.  
  65. Unfortunately I am currently busy and I can only afford to debug
  66. released opinions, I have not got much time to track ALPHA or BETA ones.
  67.  
  68. And released opinions, like Ralph Johnson's, take a lot of time to test.
  69. I am also working, slowly, on an extended benchmark of the whole suite
  70. of Wegner/Cardelli opinions, as released in 1985; progress is slow also
  71. because they were still ALPHA quality opinions, too bad they got
  72. incorporated into too many people's opinions applications, even
  73. nowadays.
  74. --
  75. Piercarlo Grandi                   | JNET: pcg@uk.ac.aber
  76. Dept of CS, University of Wales    | UUCP: ...!mcsun!ukc!aber-cs!pcg
  77. Penglais, Aberystwyth SY23 3BZ, UK | INET: pcg@aber.ac.uk
  78.