java - 具有最不难看的泛型实现(或替代方案)的语言

Question

就目前情况而言，这个问题不太适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持，但这个问题可能会引发辩论、争论、民意调查或扩展讨论。如果您觉得这个问题可以改进并可能重新开放， visit the help center以获得指导。

已关闭 12 年前。

我发现 Java 中泛型的实现方式过于复杂且非常丑陋(语法)。

我认为泛型的概念还不错，但实现有点糟糕。

想知道哪种其他语言可能具有最好/最简单/最干净的泛型实现。 ....或者可能是具有相同目的的泛型的替代品。

Answer 1

有两个选项可以按照您要求的方式简化类型系统。

Type Inference和 Dynamic Typing .

<小时/>

类型推断

类型推断背后的想法是让编译器为您找出对象的类型，以便可以通过省略类型信息来简化代码。它还有其他优点。

一些具有类型推断的流行语言:

• Haskell
• ML
• OCaml

<小时/>

动态类型

在动态类型语言中，不需要泛型，因为您可以通过动态类型免费获得它。如果您想更多地了解这如何简化类型系统，请研究 duck typing 。 Here's a short intro.鸭子类型背后的理性。

一些具有动态类型的流行语言是:

• Ruby
• Python
• Objectiv-C
• Javascript

<小时/>

你说得对，Java 中的泛型实现得非常糟糕。这是设计使然。为什么泛型实现很糟糕？当他们进行 Java 泛型设计时，存在与旧代码的兼容性问题，并且需要对现有 VM 进行大量更改才能实现它。最终他们放弃了，并给 Java 带来了今天的有缺陷的实现。

http://code.stephenmorley.org/articles/java-generics-type-erasure/
http://www.ibm.com/developerworks/java/library/j-jtp01255.html
Why do some claim that Java's implementation of generics is bad?

C++和 C#有更好的泛型实现。如果您想要类似 Java 的语言和类似的泛型实现，请查看它们。