Ошибка типов в Haskell

Question

Я получаю эту ошибку:

Type error in application 
*** Expression  : length (filter (flip (==) x)) 
*** Term   : filter (flip (==) x) 
*** Type   : [b] -> [b] 
*** Does not match : [a] 

Это мой код:

numocc::(Eq a) => a -> [[a]] -> [Int] 
numocc = map.((length.).(f)) 

f:: (Eq a) => a -> [a] -> a 
f = filter.(flip (==)) 

Я не могу понять типы. Кто-нибудь может мне помочь?

Answer 1

Если я ставлю определение из f в GHCI, Я получаю:

Expected type: (a -> Bool) -> [a] -> a 
    Actual type: (a -> Bool) -> [a] -> [a] 
In the first argument of `(.)', namely `filter' 
In the expression: filter . (flip (==)) 

Иными словами, что представляет собой список типов a, когда ожидается один экземпляр типа a. Если вы применяете предикат к списку, и результат должен быть одним экземпляром, то вы, вероятно, захотите сделать какую-то сгиб.

Изменение типа f в

f:: (Eq a) => a -> [a] -> [a] 

делает этот код компилируется.

Answer 2

Вы пытаетесь слишком трудно быть свободна, просто использовать:

f :: (Eq a) => a -> [a] -> [a] 
f x = filter (== x) 

, а затем:

numocc :: (Eq a) => a -> [[a]] -> [Int] 
numocc x = map (length . f x) 

Live demo