Discussion :

[Revan26914]

Bonsoir,

Est-ce que quelqu'un pourrait m'expliquer ce que c'est un PowerType ? Je ne trouve quasi rien sur Internet ... :-(


Merci d'avance,

Revan

[bruno_pages]

Bonjour,

comme le dit la norme en haut de la page 57 § 7.3.8 : la notion de power type est inspirée de la notion des power set. Un power set est défini comme un ensemble dont les instances sont des sous-ensembles, par essence un power type est donc une classe dont les instances sont sous-classes. (Texte de la norme : The notion of power type was inspired by the notion of power set. A power set is defined as a set whose instances are subsets. In essence, then, a power type is a class whose instances are subclasses.)

Évidemment on est là au niveau méta, la notion de power type ne vaut que par ses utilisations ailleurs dans la norme, cherchez les informations indiquées dans les paragraphes marqués par Package PowerTypes

[nouvelleVague]

Voici l'un des meilleurs articles que j'ai pu trouvé sur le sujet : http://www.jot.fm/issues/issue_2005_09/article3/