Состав функции не работает, если не используется с оператором точек

Question

Почему первый случай работает нормально, но не второй? Я верю . оператор связывает функцию и, поскольку f возвращает Boolean, я мог бы «не», но почему это не работает во втором случае?

*Main> let filterNot f xs = filter (not . f) xs 
*Main> let filterNot f xs = filter (not (f)) xs 

Answer 1

Это происходит потому, что есть разница между not . f и not f. Если вы хотите сделать это без использования ., вам придется использовать лямбда:

filterNot f xs = filter (\x -> not (f x)) xs 

Но это именно определение .!

(.) :: (b -> c) -> (a -> b) -> (a -> c) 
f . g = \x -> f (g x) 

---

Просто потому, что f возвращает Bool не означает, что вы можете not его. Вы можете использовать только not a Bool, а не функцию, которая возвращает ее. Существует большая разница между a -> Bool и только Bool. Определение not является

not :: Bool -> Bool 
not True = False 
not False = True 

Так что если f само по себе не True или False точно, то вы не можете применить not к нему.

(Уф, это не негативы в этом объяснении)