home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / object / 3019 < prev    next >
Encoding:
Internet Message Format  |  1992-07-27  |  1.6 KB

  1. Path: sparky!uunet!pmafire!news.dell.com!swrinde!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!fauern!fauna!eirich
  2. From: eirich@immd4.informatik.uni-erlangen.de (Thomas Eirich)
  3. Newsgroups: comp.object
  4. Subject: Run time type checking - efficiency and implementation
  5. Message-ID: <Bs1zEJ.Mor@immd4.informatik.uni-erlangen.de>
  6. Date: 27 Jul 92 15:08:43 GMT
  7. Organization: CSD., University of Erlangen, Germany
  8. Lines: 31
  9.  
  10. The OO-languages could be classified by the point of time of their
  11. type checking. The following table gives an overview:
  12.  
  13. Type checking      |  Languages
  14. -------------------+---------------------------------
  15. compile time only  |  C++, ...
  16. -------------------+---------------------------------
  17. compile & run time |  POOL, BETA, Eiffel, Trellis/Owl,
  18. (hybrid)           |  Guide, ...
  19. -------------------+---------------------------------
  20. run time only      |  Smalltalk, CLOS, ...
  21.  
  22.  
  23. Eiffel e.g. does the type checking of the reverse assignment
  24. operator (?=) and the validating of the method selectors
  25. at run-time. Invalid selectors result in errors like
  26. "message not understood".
  27.  
  28. I'm interested in the following questions on hybrid type systems:
  29.  a) How is the type information represented at run time?
  30.  b) How efficient is the dispatching of methods and the validation
  31.     of selectors at run time?
  32.  
  33. Can anyone give me hints to literature or email me details
  34. of the implementation of run time type checking in hybrid
  35. type systems (especially the languages mentioned above)?
  36.  
  37. --
  38.  Thomas Eirich (eirich@informatik.uni-erlangen.de)
  39.  Friedrich-Alexander University (FAU) Erlangen-Nuremberg, Germany
  40.  Department of Computer Science IMMD IV
  41.