Số phần tử trong Haskell trong phong cách pointfree

Question

Tôi muốn xác định một hàm tính số phần tử trong một danh sách thoả mãn một vị đưa ra:

number_of_elements :: (a -> Bool) -> [a] -> Int 
    number_of_elements f xs = length (filter f xs) 

Ví dụ:

number_of_elements (==2) [2,1,54,1,2] 

nên trả lại .

Chúng tôi có thể viết nó ngắn hơn:

number_of_elements f = length . filter f 

Có thể viết nó mà không f tham số?

Answer 1

Chắc chắn nó là:

number_of_elements = (length .) . filter 

Answer 2

Tôi không nghĩ rằng bạn có thể nhận dễ đọc hơn so với những gì bạn đề nghị. Tuy nhiên, chỉ dành riêng cho những niềm vui của nó, bạn có thể làm điều này:

numberOfElements = (.) (.) (.) length filter 

hoặc

(.:) = (.) . (.) 
numberOfElements = length .: filter 

Answer 3

Bạn có thể muốn đọc về Semantic Editor Combinators. Lấy result combinator từ đó:

result :: (output -> output') -> (input -> output) -> (input -> output') 
result = (.) 

Các result combinator mất một chức năng và áp dụng nó vào kết quả của chức năng khác. Bây giờ, nhìn vào các chức năng chúng ta có:

filter :: (a -> Bool) -> [a] -> [a] 
length :: [a] -> Int 

Bây giờ, length áp dụng cho [a] 's; trong đó, điều đó xảy ra, là loại kết quả của các chức năng của biểu mẫu foo :: [a] -> [a]. Vì vậy,

result length :: ([a] -> [a]) -> ([a] -> Int) 

Nhưng kết quả của filter là chính xác một chức năng [a] -> [a], vì vậy chúng tôi muốn áp dụng result length đến kết quả của filter:

number_of_elements = result (result length) filter