タイプが一流のオブジェクトであることの利点は何ですか？

Question

ここの誰かが、一流のオブジェクトとしてのタイプが手に入る良い例を持っていますか？

いくつかの数学の概念を簡単に実装するのに役立つと思います。実際、それは私が探している例の種類です。

upd 質問を明確にするために、タイプを受け入れ、タイプを返しているか、変数にタイプを保存する機能を作成できる場合、何ができるでしょうか？

私は勉強している アルドール, 、ライセンスの問題により、少し死んでいます。少なくとも上記のセンスでは、タイプが一流のオブジェクトであると言われています。

Answer 1

AGDA2、ATS-Lang.org、および依存型のその他の言語をご覧ください。あなたが尋ねたことではなく、関連しています。

Answer 2

反射

タイプが一流のオブジェクトである場合、あなたができるということです 反射.

Answer 3

ダイナミックファクトリー。

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