haskell - 为什么类型是 [( True , [ ] ) , ( False , [ ['a' ] ] ) ] , "[ (Bool , [ [char] ] )]"？

Question

当我输入 :type [(True,[]),(False, [['a']])] , "[(Bool,[[char]])]" ghci 它输出 [ (Bool , [ [char] ] )]。 Haskell 的类型推断怎么可能将空列表和 [[char]] 视为相同。

Answer 1

Haskell 知道 True 和 False 是 Bool，而且我们知道列表中的所有元素都具有相同的类型。

因此，我们正在寻找类型[(True,[]),(False, [['a']])]。我们看到元素是一个二元组，第一个元素是 Bool，第二个元素是一个空列表，因此类型为 []::[a] 与 a，当时未知。

现在，如果我们看第二项，会看到(False, [['a']])。因此，这是一个 2 元组，其中 False 作为第一项，[['a']] 作为第二项。 'a' 的类型是 Char，因此 ['a'] 的类型为 [Char]，并且[['a']] 的类型为 [[Char]]。由于列表的元素应该具有相同的类型，因此我们得出第一项的 a 类型参数为 a ~ [Char]，因此外部列表的类型为 [(True,[]),(False, [['a']])]::[(Bool, [[Char]])]。