java - haskell/Java 中的类型变量是什么

Question

今天我们提到了类型变量。但我不明白这意味着什么。我在wiki上只能找到一个解释，type variable

我理解数学上的解释，但仍然不知道编程。谁能解释一下吗？

Answer 1

嗯，这很简单。基本观察是，我们不仅有 Int、Bool 和 Char 等基本类型，还有由其他类型组成的类型。

最简单的例子是列表。在类型安全语言中，列表的所有元素必须具有相同的类型。这就是我们写的原因:

Haskell   Java               Explanation
[Int]     List<Integer>      list of integers
[Char]    List<Character>    list of characters

等等。这已经很好了，但还不够好。事实证明，列表上的某些函数除了元素类型之外是完全相同的，并且元素类型在函数内部是不相关的。这是一个例子:

lengthIntList :: [Int] -> Int    -- compute length of a list of int
lengthIntList [] = 0
lengthIntList (x:xs) = 1 + length xs

lengthCharList :: [Char] -> Int    -- compute length of a list of char
lengthCharList [] = 0
lengthCharList (x:xs) = 1 + length xs

因此，下一步是从元素类型中抽象出来:

length :: [a] -> Int       -- length of a list, for all elemen types
length [] = 0
length (x:xs) = 1 + length xs

这里，a是一个类型变量，它表示:对于所有类型，此函数length采用该类型的列表并返回一个Int.