Eigenclass model: Difference between revisions

Content deleted Content added
cleanup
m copyedit
Line 34:
 
By simplification, the development history of the eigenclass model can be viewed as a 3-stage extension of a universality principle, summarized by the following table:
{| class="wikitable"
 
|-
<table style="border-collapse:collapse; margin: 2ex auto 4ex auto" border="1" cellpadding="3">
! Year
<tr>
<th>Year</th><th>! Inventor</th>
<th>! The principle</th>
<th>! &hellip; in terms of the eigenclass model</th>
|-
</tr>
<td| style="white-space:nowrap"> | c. 1980</td>
<tr>
<td>| James Althoff<ref>
<td style="white-space:nowrap">c. 1980</td>
<td>James Althoff<ref>
{{cite web | url=http://mail.python.org/pipermail/python-dev/2001-May/014508.html | title=&#91;Python-Dev&#93; Classes and Metaclasses in Smalltalk }}</ref>
<td>| Every class has anits own eigenclassmetaclass.</td>
</td>
<td>| Every class has its ownan metaclasseigenclass.</td>
|-
<td>Every class has an eigenclass.</td>
<td>| c. 1988</td>
</tr>
<td>| Luca Cardelli</td>
<tr>
<td>| Every type has a power type.</td>
<td>c. 1988</td>
<td>| Every class and every eigenclass has an eigenclass.</td>
<td>Luca Cardelli</td>
|-
<td>Every type has a power type.</td>
<td>| c. 1995</td>
<td>Every class and every eigenclass has an eigenclass.</td>
<td>| Yukihiro Matsumoto</td>
</tr>
<td| colspan=2 style="text-align:center"> | Every object has an eigenclass.</td>
<tr>
|}
<td>c. 1995</td>
<td>Yukihiro Matsumoto</td>
<td colspan=2 style="text-align:center">Every object has an eigenclass.</td>
</tr>
</table>
 
== {{anchor|canonical structure}} The canonical structure of &#1013; ==