home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / object / 5105 < prev    next >
Encoding:
Text File  |  1993-01-28  |  4.9 KB  |  118 lines
  1. Newsgroups: comp.object
  2. Path: sparky!uunet!charon.amdahl.com!amdahl!rtech!pacbell.com!ames!saimiri.primate.wisc.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!The-Star.honeywell.com!umn.edu!news
  3. From: burchard@horizon.math.utah.edu (Paul Burchard)
  4. Subject: Re: Procedures and their instances (objects in traditional OO languages)
  5. Message-ID: <C1JMHB.EC6@news2.cis.umn.edu>
  6. Sender: news@news2.cis.umn.edu (Usenet News Administration)
  7. Nntp-Posting-Host: dialup-slip-1-42.gw.umn.edu
  8. Organization: University of Minnesota
  9. References: <PCG.93Jan27160420@csthor.aber.ac.uk>
  10. Date: Thu, 28 Jan 1993 02:48:43 GMT
  11. Lines: 105
  12.  
  13. In article <PCG.93Jan27160420@csthor.aber.ac.uk> pcg@aber.ac.uk (Piercarlo  
  14. Grandi) writes:
  15. > pcg> In particular they show that (in class based OO languages) classes
  16. > pcg> are procedures, and objects are procedure instances; closures if
  17. > pcg> the language is a traditional OO one, and continuations if the
  18. > pcg> language is an actor OO one.
  19. > 
  20. > Davis> Classes and objects are not procedures;
  21. > 
  22. > First, this is not what I wrote; I wrote:
  23. > 
  24. > pcg> (in class based OO languages) classes are procedures, and objects
  25. > pcg> are procedure instances
  26. > 
  27. > Both the qualification in parenthesis and the dictinction between
  28. > procedures and procedure instances are important (even if for the sake
  29. > of extreme brevity, and I regret that, I did not make the first explicit
  30. > in the very short frase: "More precisely objects are values of a
  31. > procedure instance (closure/continuation) record type.").
  32. > 
  33. > Second, classes and objects are procedures and procedure instances in
  34. > two very real senses; that this is how historically they were
  35. > 'invented', both in capability systems (the PDP-1) and in OO languages
  36. > (Simula 67); and that this is how they actually behave, even if this is
  37. > disguised by syntax and foggy terminology (the very special status of a
  38. > C++ constructor can only be fully understood if it is considered the
  39. > body of its class seen as a procedure, and even its invocation syntax is
  40. > inspired to that).
  41.  
  42. Interestingly, the procedure view of classes is very natural and helpful for 
  43. modeling abstract mathematical concepts in an organized way.  I have developed 
  44. a math <--> OOP dictionary taking advantage of this; an outline is given in
  45. the table below:
  46.  
  47.     Math            OOP
  48.     --------        ---------
  49.     category        protocol/signature (object type based on
  50.                   functionality rather than inheritance)
  51.     specific construction    
  52.       of objs in category    class/implementation conforming to protocol
  53.  
  54.     functor            class whose constructor applies the functor by
  55.                   accepting args in other categories
  56.  
  57. In particular, the most interesting classes are those which act as functors,
  58. or more precisely, whose constructors act as functors.  A functor is thought
  59. of as a specific way of constructing objects in its target category; this
  60. is exactly the role of a class in the dictionary.
  61.  
  62. --
  63. --------------------------------------------------------------------
  64. Paul Burchard    <burchard@geom.umn.edu>
  65. ``I'm still learning how to count backwards from infinity...''
  66. --------------------------------------------------------------------
  67.  
  68.  
  69.  
  70.  
  71.  
  72.  
  73.  
  74.  
  75.  
  76.  
  77.  
  78.  
  79. ocedures and procedure instances are important (even if for the sake
  80. > of extreme brevity, and I regret that, I did not make the first explicit
  81. > in the very short frase: "More precisely objects are values of a
  82. > procedure instance (closure/continuation) record type.").
  83. > 
  84. > Second, classes and objects are procedures and procedure instances in
  85. > two very real senses; that this is how historically they were
  86. > 'invented', both in capability systems (the PDP-1) and in OO languages
  87. > (Simula 67); and that this is how they actually behave, even if this is
  88. > disguised by syntax and foggy terminology (the very special status of a
  89. > C++ constructor can only be fully understood if it is considered the
  90. > body of its class seen as a procedure, and even its invocation syntax is
  91. > inspired to that).
  92.  
  93. Interestingly, the procedure view of classes is very natural and helpful for 
  94. modeling abstract mathematical concepts in an organized way.  I have developed 
  95. a math <--> OOP dictionary taking advantage of this; an outline is given in
  96. the table below:
  97.  
  98.     Math            OOP
  99.     --------        ---------
  100.     category        protocol/signature (object type based on
  101.                   functionality rather than inheritance)
  102.     specific construction    
  103.       of objs in category    class/implementation conforming to protocol
  104.  
  105.     functor            class whose constructor applies the functor by
  106.                   accepting args in other categories
  107.  
  108. In particular, the most interesting classes are those which act as functors,
  109. or more precisely, whose constructors act as functors.  A functor is thought
  110. of as a specific way of constructing objects in its target category; this
  111. is exactly the role of a class in the dictionary.
  112.  
  113. --
  114. --------------------------------------------------------------------
  115. Paul Burchard    <burchard@geom.umn.edu>
  116. ``I'm still learning how to count backwards from infinity...''
  117. --------
  118.