Haskell：弦尾“ a”

Question

為什么只有一個字母的字符串的尾部是空字符串而不是空List？

例：

tail "a"
= ""

但是您可以將String創建為：

'a' : []
= "a"

所以我認為尾巴應該是空的List [] 。

如果你這樣做

tail ["x"]

然后您得到空的List [] 。

這有點令人困惑。

Answer 1

因為空字符串是 Char的空列表，所以只是以不同的方式show n：

Prelude> [] :: String
""

Answer 2

這是因為空的String和空的Char列表完全相同（ type String = [Char] ）。 Char的Show實例考慮了這一點，並覆蓋列表呈現（使用showList ）以呈現為字符串。 這就是為什么String沒有Show實例的原因； Show a => Show [a]處理所有列表並使用showList [Char] 。

順便說一句，文本比只是一串字符要復雜得多。 這種近似是在C和Haskell的早期選擇的，但是其他實現如Data.Text可能有更好的方法。

Answer 3

定義Show type類的實例時，可以實現showList方法，該方法是該類型的列表的顯示方式。 所以：

showList [] = "" -- I guess this is not the actual implementation, but something similar

問候，