类型是一流对象有什么好处？

StackOverflow https://stackoverflow.com/questions/6806454

题

这里有人有一个很好的例子，其中类型为一流的对象？

我想这有助于直接实现一些数学概念，实际上是我想要的示例。

UPD 为了澄清这个问题，如果可以在变量中接受类型和返回类型或存储类型的功能，该怎么办？

我正在学习 Aldor, ，尽管由于许可问题，但有点死了。据说有类型是一流的对象，至少在上面的状态中。

有帮助吗？

解决方案

看看AGDA2，ats-lang.org和其他具有依赖类型的语言。您的问不是什么，但相关。

其他提示

反射

如果类型是一流的对象，您可以做 反射.

动态工厂。

_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')
许可以下： CC-BY-SA 和 归因
不隶属于 StackOverflow
scroll top