摘要： 泛型和继承是现代编程语言中两种比较重要的特性，对提高语言的表达能力，增强软件的质量、健壮性、可维护性有重要作用。前者常见于函数式编程语言，如Haskell；后者则是面向对象（OO）语言的基础。泛型对类型的描述更细化，表达能力更强，然而，泛型是编译期的信息，无法提供像继承中的动态绑定功能，这也许是过去 阅读全文