語言與最醜陋的泛型實現（或替代）

Question

我發現泛型在Java中實現的方式太複雜和非常醜陋（語法）。

我認爲泛型的概念是正常的，但實現有點糟糕。

想知道哪種語言可能具有最好/最簡單/最乾淨的泛型實現。 ....或者也可以用一種替代泛型的方式來表達同樣的目的。

Answer 1

有兩種選擇可以按照您要求的方式簡化類型系統。

Type Inference和Dynamic Typing。

---

類型推斷

背後類型推斷的想法是讓編譯器來找出你的對象的類型，你讓你的代碼可以通過省略類型信息被簡化。它還有其他的好處。

一些流行的語言進行類型推理：

• Haskell
• ML
• OCaml

---

動態類型

在動態類型語言中，不需要泛型，因爲您可以通過動態類型免費獲得泛型。如果您想了解更多關於如何簡化類型系統的知識，請查閱duck typing。 Here's a short intro.以鴨子打字的理性。

一些流行的語言與動態類型有：

• Ruby
• Python
• Objectiv-C
• Javascript

---

找你在Java中泛型的實現非常糟糕。這是設計。爲什麼一個蹩腳的泛型實現？當他們進行Java泛型設計時，與舊代碼存在兼容性問題，現有虛擬機需要進行大量更改才能實現它。最終他們放棄了，給了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的語言和類似的泛型實現，請檢查它們。

Answer 2

我認爲艾菲爾內的仿製藥可能是最乾淨的。

Answer 3

如果你正在尋找一些更簡潔和優雅的，我建議你期待的功能語言，如OCaml的或哈斯克爾（也許F＃如果你想類似於Java之一的API），它有所謂的類型重構這是如何實現真正的泛型的東西..也許它有點嚴格，但你不失去表達能力，你只是獲得語法。

在任何情況下，您的問題都很愚蠢，您不會根據「泛型」選擇一種語言，這是一個漫長而複雜的故事，通常包含您將要開發的內容。每個節目都有其故事和需求。

Answer 4

Java Generics的創建者創建了Scala語言。 Scala中的「泛型」（類型參數）與Java相比要乾淨得多，就像其他任何東西一樣。