нет. p related filter

Question

Привет, ребята, я отношусь к noob с Haskell и все еще изучаю, так почему это не работает?

filterFirst :: (a -> Bool) -> [a] -> [a] 
filterFirst p xs = delete (not . p) (filter (not . p) xs) 

Как я получаю следующее сообщение об ошибке в моем терминале:

ERROR "FirstLiterate.lhs":58 - Type error in application 
*** Expression  : delete (not . p) (filter (not . p) xs) 
*** Term   : not . p 
*** Type   : a -> Bool 
*** Does not match : a 
*** Because  : unification would give infinite type 

Так что я понимаю, что этот тип не соответствует типу в моем определении. Как я могу изменить это, так что мне не нужно менять (a -> Bool)?

Answer 1

Первым аргументом delete должен быть элемент списка (в данном случае это значение типа a), а не функция типа a -> Bool.

Ошибка типа вы получили говорит вам, что not . p имеет тип a -> Bool, но функция delete ожидал значение типа a.

Answer 2

Вы можете использовать deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a].