Haskell新手遇类型匹配错误：Couldn't match type '[t0 -> t] -> Bool' with Bool

错误原因 #

你的代码核心问题是递归调用的语法错误：

else member(atm (tail lizt))

Haskell中函数调用通过空格分隔参数，而非括号包裹。上面的写法会被编译器解析为：先调用atm函数并传入tail lizt作为参数，再把这个结果传给member——这和你定义的member需要两个参数的逻辑完全矛盾，直接导致类型推导混乱，抛出类型不匹配错误。

修正后的代码 #

基础修正版本

member atm lizt = if null lizt
                     then False
                     else if atm == head lizt then True else member atm (tail lizt)
                     
main = print (member 1 [2, 1])

这里把递归调用改成member atm (tail lizt)，用空格分隔两个参数，编译器能正确推导出类型member :: Eq a => a -> [a] -> Bool，符合你的需求。

更简洁的Haskell惯用写法（模式匹配）

-- 空列表直接返回False
member _ [] = False
-- 非空列表，匹配首元素x和剩余列表xs
member atm (x:xs) = atm == x || member atm xs

main = print $ member 1 [2, 1]

这种写法用模式匹配拆分列表，逻辑更清晰，同时避免了head/tail在空列表下的潜在崩溃问题，是Haskell处理列表的标准方式。

运行结果 #

修正后执行代码，会输出True，符合你“判断整数是否存在于列表”的需求。

内容的提问来源于stack exchange，提问作者Silver-Bullet03