检查（X：XS）的长度

Question

我有一个函数是这样的

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

我想检查列表（x：XS）是空的。我以某种方式没有设法用（x：xs）符号来完成它。

Answer 1

x:xs永远不会为空：它总是有元素x。匹配空列表的唯一模式是[]（尽管如果它明确具有类型[Char]，它可能拼写为""）。因此，你可能会写

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