java - Java通用类型系统的更新

Question

java 的开发者是否有可能更新 java 的泛型类型系统，使其与 C# 的泛型类型系统相媲美？

我知道jvm在类文件中对此没有语言支持，但是以后是否可以将此类构造引入jvm语言(类字节码)

Java 中更好的类型系统的优点是:

• 更少或根本没有安全警告

• 泛型的运行时反射

• 高等种类类型(HKT)是可能的

查看 HKT 的最后一点:Java 支持类的类型

Class<T>

说一个类具有类型是否也合法

Class<Class<T>>

例如像

这样的集合

ArrayList<T>, HashSet<T>,

也适用于其他一些不是集合的泛型类。可悲的是，

Class<Class<T>> 

由于类型删除，在 java 中没有任何意义。

Answer 1

Is it possible that the developer of the java renew java's generic type system to make it comparable to C#'s one?

技术上可行吗？如果您准备牺牲向后兼容性并使过去 20 多年编写的大多数 Java 代码过时......是的。

实用吗？没有。

如果 Oracle 这样做，他们就会疏远客户群，从而毁掉 Java 业务；即，我无法猜测有数千个组织在 Java 编写的软件上投入了多少数十亿美元的沉没投资。

这也可能会摧毁他们的旗舰数据库产品线以及许多其他企业产品线。

然后诉讼就会开始。

这将是企业自杀。

<小时/>

使用全新的编程语言重新开始会更有意义，但我不认为 Oracle 会这样做。