为什么具体化的仿制药很难与更高级的类型相结合？

Question

存在这样一种观念，即将具体化的仿制药与较高类型的仿制药相结合是一个难题。

是否已成功组合这两种类型系统功能的现有语言或一般情况下是不可能的？

是否有任何进一步的信息可以了解到目前为止在这个领域已经做了什么？

Answer 1

对于问题的第二部分：看看Scala programming language已经成功地将来自底层JVM的具体化泛型与更高级别的类型组合在一起。使这项工作的关键概念是implicit parameters和Manifests。清单用于将一些擦除类型信息移植到运行时，并且使用implicits以类似方式将清单注入类型类。博文Manifests: Reified Types包含更多详细信息。