language-agnostic - 是否有任何语言可以实现泛型_well_？

Question

我喜欢在 Differences in Generics 的讨论，并想知道是否有任何语言特别好地使用了此功能。

我真的很不喜欢 Java 的 List<? extends Foo>对于 List里氏可替代的事物 Foo .为什么不能List<Foo>盖那个？

老实说，Comparable<? super Bar> ?

我也终生不记得为什么你永远不应该返回泛型数组:

public T[] getAll<T>() { ... }

我从不喜欢 C++ 中的模板，但这主要是因为没有一个编译器可以为它们吐出远程有意义的错误消息。有一次我实际上做了一个 make realclean && make编译 17 次；我从来没有弄清楚为什么第 17 次是魅力所在。

那么，谁真的喜欢在他们的宠物语言中使用泛型呢？

Answer 1

Haskell 很好地实现了类型构造函数参数化(泛型或参数多态)。 Scala 也是如此(尽管它有时需要一些手动操作)。

这两种语言都有更高级的类型(又名抽象类型构造函数，或类型构造函数多态，或高阶多态)。

看这里:Generics of a Higher Kind