home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / object / 3389 < prev    next >
Encoding:
Internet Message Format  |  1992-09-02  |  2.3 KB
  1. Path: sparky!uunet!olivea!spool.mu.edu!news.cs.indiana.edu!umn.edu!csus.edu!netcom.com!objsys
  2. From: objsys@netcom.com (Bob Hathaway)
  3. Newsgroups: comp.object
  4. Subject: Re: O.M(...) vs M(...), and is the Real World O-O?
  5. Message-ID: <b2kn_3q.objsys@netcom.com>
  6. Date: 2 Sep 92 20:29:22 GMT
  7. References: <KERS.92Aug26181137@cdollin.hpl.hp.com> <#6jn_y+.objsys@netcom.com> <KERS.92Sep2121520@cdollin.hpl.hp.com>
  8. Organization: Object Systems
  9. Lines: 46
  10.  
  11.  
  12.   [Thanks for the wrap-up Chris.  I'll try to answer a few pointed questions
  13.    but this isn't an attempt to start over; we need to move on to the new.]
  14.  
  15. In article <KERS.92Sep2121520@cdollin.hpl.hp.com> kers@hplb.hpl.hp.com (Chris Dollin) writes:
  16. >Bob suggests that he's going to produce a book explaining his views more
  17. >fully.
  18. >
  19. >I look forward to reading it. Have you a publisher?
  20.  
  21. No, I was just kidding.  I might write one eventually though.
  22.  
  23. >-- On modes of discourse ----------------------------------------------
  24. >...
  25. I agree.  My excuse: There are not enough hours in the day for me and when
  26. plenty of them start getting consumed I start getting irritable (but thanks
  27. for bearing with me).
  28.  
  29. >| You seem to have latched on to some trivial static efficiency tricks and
  30. >| took them as the general case.
  31. >  ... [Why me?] ...
  32.  
  33. C++ and other statically (strongly) typed object-oriented languages do
  34. only switch on the first parameter; all other argument types must be
  35. contra-variant with respect to subtyping.  C++ even forces argument
  36. types (and currently return types) to be the same [for virtual functions].
  37. This is close to what you said: "only the first argument type is used and
  38. the rest are ignored".  This is also a trivial static efficiency trick.
  39. This is what I was referring to above, the other case of a statically
  40. typeless language (Smalltalk) also only switches on the first argument type
  41. but includes keywords in the matching.  This is because Smalltalk is a
  42. prototype language and doesn't provide types for argument matching (and
  43. only keywords, it should be both); a weakness of Smalltalk and clearly not
  44. of OO or of the O M ... notation.
  45.  
  46. >-- On finance ---------------------------------------------------------
  47. >
  48. >| But don't worry, my consulting fee is only $500 an hour and I'll just bill
  49. >| you;-)
  50. >
  51. >The billing (if not the cooing) will be mutual, I'm sure :-)
  52.  
  53. That should work out equitably for both of us!-)
  54.  
  55. bob
  56. objsys@netcom.com
  57.