soc*_*soc 22 c# language-agnostic generics types scala
存在这样一种观念,即将具体化的仿制药与较高类型的仿制药相结合是一个难题.
是否存在已成功组合这两种类型系统功能的现有语言,或者一般情况下是不可能的？
是否有任何进一步的信息可以了解到目前为止在这个领域做了什么？
对于问题的第二部分：看看Scala 编程语言，它成功地将底层 JVM 的具体化泛型与更高种类的类型结合起来。实现这项工作的关键概念是隐式参数和清单。清单用于将一些已删除的类型信息移植到运行时，而隐式用于以类似类型类的方式注入清单。博客文章清单：具体化类型有更多详细信息。