home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / object / 4966 < prev    next >
Encoding:
Internet Message Format  |  1993-01-21  |  2.4 KB
  1. From: kers@hplb.hpl.hp.com (Chris Dollin)
  2. Date: Thu, 21 Jan 1993 09:41:41 GMT
  3. Subject: Re: Re: FAQ  Part 1 (of 2) [ a bit of polemic ]
  4. Message-ID: <KERS.93Jan21094141@cdollin.hpl.hp.com>
  5. Organization: Hewlett-Packard Laboratories, Bristol, UK.
  6. Path: sparky!uunet!cs.utexas.edu!sdd.hp.com!hpscit.sc.hp.com!hplextra!otter.hpl.hp.com!hpltoad!cdollin!kers
  7. Newsgroups: comp.object
  8. References: <PCG.93Jan14154212@decb.aber.ac.uk> <1993Jan15.033713.27130@netcom.com> <PCG.93Jan19231409@decb.aber.ac.uk> <1993Jan21.024452.6
  9. Sender: news@hplb.hpl.hp.com (Usenet News Administrator)
  10. Lines: 41
  11. In-Reply-To: Bob Hathaway's message of Thu, 21 Jan 1993 02:44:52 GMT
  12. Nntp-Posting-Host: cdollin.hpl.hp.com
  13.  
  14. This is not a pipe, sorry, long post. 
  15.  
  16. In article ... Bob Hathaway <objsys@netcom.com> writes:
  17.  
  18.    Anyway, how about a critique of my new polymorphism def?  You made a point
  19.    I've made many times here to, and its been assimilated.  I'll have a new and
  20.    improved faq out soon, its got a great new and improved anon ftp section.
  21.  
  22.    What Is Polymorphism?
  23.  
  24.    For a Brief Answer:
  25.    Polymorphism is the ability of an object to assume or become many different
  26.    forms of object and for these various forms to exhibit explicit phenotype-
  27.    like expression.  
  28.  
  29. This is not how I understood polymorphism was interpreted -- either in OO or
  30. more traditional CS. (It would, however, fit into D&D :-)
  31.  
  32. Your definition makes *objects* polymorphic. I thought the usual interpretation
  33. was that *methods* (procedures, routines, whatever) were polymorphic. For the
  34. usual OO case of inclusion polymorphism, I would say something like
  35.  
  36.  A method is *polymorphic* in an argument A of type T if it may also be called
  37.  with objects of type T' in the A position whenever T' is a subtype (derived
  38.  class of, subclass of, inherits from) T.
  39.  
  40. This fits Eiffel (features are redefinable) and C++ (with virtual methods
  41. applied to indirect objects). With a reasonable amount of goodwill about what
  42. ``type'' means, it also applies to Smalltalk and the Lisp-based OO systems.
  43.  
  44. Since I wrote this definition down in about sixty seconds, I freely admit it's
  45. not perfect. But I think it's closer to what's normally understood than what
  46. you wrote. (It may be that you've defined a perfectly reasonable concept, and
  47. it's just a shame that the name is already taken.)
  48.  
  49.  
  50.  
  51. --
  52.  
  53. Regards,    | "You're better off  not dreaming of  the things to come;
  54. Kers.       | Dreams  are always ending  far too soon." - Caravan.
  55.