Quali sono i vantaggi di tipo, in quanto oggetti di prima classe?

Question

Qualcuno qui ha buoni esempi in cui i tipi come oggetti di prima classe vengono in mano?

Credo che aiuta a implementare semplicemente alcuni concetti matematici, infatti, che è il tipo di esempi che sto cercando.

UPD Per chiarire la questione, cosa si può fare se si possono fare le funzioni di accettare i tipi e tipi di ritorno, o tipi di negozio nelle variabili?

Aldor , anche se a causa di problemi di licenza è un po 'morto. Tipi Ci si dice che sono oggetti di prima classe, almeno nel sence sopra.

Answer 1

Date un'occhiata a Agda2, ats-lang.org e altre lingue con tipi dipendenti. Non è proprio quello che hai chiesto, ma correlati.

Answer 2

Riflessione

Se i tipi sono di prima classe di oggetti è che si può fare riflessione .

Answer 3

fabbrica dinamica.

_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')