¿Cuáles son los beneficios de que los tipos sean objetos de primera clase?

Question

¿Alguien aquí tiene buenos ejemplos en los tipos de tipos como objetos de primera clase en la mano?

Supongo que ayuda a implementar directamente algunos conceptos matemáticos, de hecho, ese es el tipo de ejemplos que estoy buscando.

Actual Para aclarar la pregunta, ¿qué se puede hacer si se pueden hacer funciones que acepten tipos y tipos de devolución, o almacenen tipos en variables?

estoy estudiando Aldor, aunque debido al problema de la licencia está un poco muerto. Se dice que hay tipos son objetos de primera clase, al menos en el sentido anterior.

Answer 1

Eche un vistazo a AGDA2, ATS-Lang.org y otros idiomas con tipos dependientes. No es exactamente lo que preguntaste, pero relatado.

Answer 2

Reflexión

Si los tipos son objetos de primera clase es que puede hacer reflexión.

Answer 3

Fábrica dinámica.

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