函数签名问题

Question

我正在编写一个函数，它获取一个列表，检查其中的所有元素是否恰好一次在另一个列表中。我的尝试：

cA = ['A', 'B', 'C', 'D'] {- original list -}

validate :: [Char] -> Bool
validate (n:[]) = if length (filter n cA) == 1 then True else False
validate (n:m) = if length (filter n cA) == 1 then validate m else False

返回

应用程序中的类型错误 * 表达式：过滤器 n cA 术语：n 类型：字符 * 不匹配：Char -> Bool

想法？

Answer 1

首先，如果你看到自己在写作，你会很生气

if foo then True else False

停下来写

foo

其次，n 的类型是Char 对吗？但过滤器期待Char -> Bool。所以这是你的错误。我相信你想要

validate [n] = length (filter (==n) cA) == 1
validate (n:ns) = length (filter (==n) cA) == 1 && validate ns

(==n) 与 \a -> a == n 相同。这称为操作符部分，它只是一些很好的旧 Haskell 糖。

哦，这可以使用函数all来编写

validate ns = all (\n -> length (filter (==n) cA) == 1) ns
validate' = all $ (==1) . length . flip filter cA . (==)