泛型

类型参数化。一般称化泛型,在 C++ 和 D 语言中称之为模板,而 Haskell 则称之为参数多态。