Quels sont les avantages des types étant des objets de première classe?

Question

personne ici n'ont de bons exemples types comme des objets de première classe viennent à la main?

Je suppose qu'il aide à mettre en œuvre certains concepts carrément mathématiques, en effet qui est le genre d'exemples que je cherche.

UPD Pour clarifier la question, ce qui peut être fait si l'on peut faire accepter des fonctions types et types de retour, ou les types de magasin dans les variables?

Je suis en train d'étudier Aldor , mais en raison de la délivrance du permis, il est un peu mort. Il des types sont dits être des objets de première classe, au moins dans le ci-dessus sence.

Answer 1

Jetez un oeil à Agda2, ats-lang.org et d'autres langues avec des types dépendants. Pas tout à fait ce que vous avez demandé, mais liés.

Answer 2

Réflexion

Si les types sont des objets de première classe est que vous pouvez faire de réflexion .

Answer 3

L'usine dynamique.

_types = {}

register_type(typ, iden):
  _types[iden] = typ

def factory(iden):
  typ = _types.get(iden)
  if not typ:
    raise ValueError('Type not registered for %r' % iden)
  return typ()

register_type(SomeClass, 'class1')
register_type(SomeOtherClass, 'class2')

print factory('class1')