Haskell 检查长度（x:xs）

我有一个类似这样的函数

checkSomething (x:xs) counter
| (length of x:xs)         = ...
| ...                      = ...  

---

我想检查列表（x:xs）是否为空。不知何故，我没有设法用（x:xs）符号来表示。

x:xs

从来都不是空的：它总是有元素

x

。匹配空列表的规范模式是

[]

（如果它特别具有类型

[Char]

，则可能拼写为

“”

）。所以，你可以写

checkSomething [] counter = {- the empty case -}
checkSomething (x:xs) counter = {- lists with at least one element -}

---

x:xs

从不为空：它始终包含元素

x

。匹配空列表的规范模式是

[]

（如果它特别具有类型

[Char]

，则可能拼写为

“”

）。所以，你可以写

checkSomething [] counter = {- the empty case -}
checkSomething (x:xs) counter = {- lists with at least one element -}

---

回答同样的问题，+1回答同样的问题，+1