当我在 ghci 中输入 :type [(True,[]),(False, [['a']])] , "[(Bool,[[char]])]" 时，它会输出 [ (Bool , [ [char] ] )]。 Haskell 的类型推断怎么可能将空列表和 [[char]] 视为相同。
【问题讨论】：
[] :: [a]，因为另一个列表是[['a']]，它知道a ~ [Char]。
[[Char]] 视为相同。但是，它将空列表视为[[Char]] 类型的值——为什么不应该这样做？
[] 又名Empty 是一种 重载类型构造函数，就像Nothing 的Maybe a 一样。它可以属于携带类型变量的多种类型。
Haskell 知道 True 和 False 是 Bools，而且我们知道列表的所有元素都具有相同的类型。
因此我们正在寻找一个类型[(True,[]),(False, [['a']])]。我们看到元素是一个二元组，第一个元素是Bool，第二个元素是一个空列表，所以它的类型为[] :: [a] 和a，当时未知。
现在，如果我们查看第二项，请参阅(False, [['a']])。因此这是一个二元组，False 作为第一项，[['a']] 作为第二项。 'a' 的类型是 Char，因此 ['a'] 的类型为 [Char]，[['a']] 的类型为 [[Char]]。由于列表的元素应该具有相同的类型，因此我们得出第一项的a类型参数为a ~ [Char]，因此外部列表的类型为[(True,[]),(False, [['a']])] :: [(Bool, [[Char]])]。
【讨论】：
a ~ [Char] 的含义——您可以将~ 视为等式；语言创建者只选择~ 而不是=，因为= 在语法中已经有很多用途.)