函數簽名問題

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 類型：字符 *不匹配：字符 - >布爾

想法？

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 . (==)