C# 为什么具体化的泛型很难与更高级的类型相结合？_C#_Generics_Scala_Language Agnostic_Types

C# 为什么具体化的泛型很难与更高级的类型相结合？

c# generics scala language-agnostic types

C# 为什么具体化的泛型很难与更高级的类型相结合？,c#,generics,scala,language-agnostic,types,C#,Generics,Scala,Language Agnostic,Types,有一种观点认为，将具体化的泛型与更高级的类型相结合是一个困难的问题现有的语言是否已经成功地结合了这两种类型的系统功能，或者说，这在一般情况下是不可能的是否有任何进一步的信息可用于了解到目前为止在这一领域所做的工作？关于问题的第二部分：看一看，它成功地将底层JVM中的具体化泛型与更高级的类型结合起来了。实现这一目标的关键概念是和。清单用于将一些已擦除的类型信息移植到运行时，隐式用于以类似类型类的方式注入清单。这篇博文有更多的细节

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

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

是否有任何进一步的信息可用于了解到目前为止在这一领域所做的工作？

关于问题的第二部分：看一看，它成功地将底层JVM中的具体化泛型与更高级的类型结合起来了。实现这一目标的关键概念是和。清单用于将一些已擦除的类型信息移植到运行时，隐式用于以类似类型类的方式注入清单。这篇博文有更多的细节A具体化为函数

def[A]

，只需使用上下文绑定：

def[A:Manifest]

。由于

是一个类型参数，具体化为

Manifest[A]

类型的运行时值，因此我将其称为“具体化的泛型”。的确，没有JVM级别的支持，原语的专门化也不会自动发生——这就是您的意思吗？