c# - 为什么具体化的泛型很难与更高级的类型结合使用？

Question

有一种观点认为，将具体化的泛型与更高种类的类型相结合是一个难题。

是否有现有的语言成功地结合了这两种类型系统的特征，或者一般情况下是不可能的？

是否有任何进一步的信息可用于了解迄今为止在该领域所做的工作？

Answer 1

对于问题的第二部分:看看 Scala programming language它成功地将来自底层 JVM 的具体化泛型与更高种类的类型结合起来。使这项工作的关键概念是 implicit parameters和 Manifests . list 用于将一些已删除的类型信息移植到运行时，隐式用于以类似类型类的方式注入(inject) list 。博文Manifests: Reified Types有更多细节。