Haskell:一串"a"的尾巴

Question

为什么String只有一个字母的尾部是空字符串而不是空列表？

例:

tail "a"
= ""

但您可以创建一个String作为:

'a' : []
= "a"

所以我认为尾巴应该是空列表[].

如果你这样做的话

tail ["x"]

然后你得到空列表[].

这有点令人困惑.

Answer 1

因为空字符串是Char s 的空列表,所以它只是show不同的:

Prelude> [] :: String
""