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"
|-
! Year
|-
▲<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=[Python-Dev] Classes and Metaclasses in Smalltalk }}</ref>
|-
▲<td>Every class has an eigenclass.</td>
▲<td>c. 1988</td>
▲<td>Luca Cardelli</td>
|-
▲<td>Every type has a power type.</td>
▲<td>Every class and every eigenclass has an eigenclass.</td>
|}
▲<td>c. 1995</td>
▲<td>Yukihiro Matsumoto</td>
▲<td colspan=2 style="text-align:center">Every object has an eigenclass.</td>
== {{anchor|canonical structure}} The canonical structure of ϵ ==
|