pointfree शैली में हास्केल में तत्वों

Question

मैं एक समारोह है कि एक सूची है कि किसी भी विधेय को संतुष्ट में तत्वों की संख्या की गणना करता है परिभाषित करना चाहते हैं की संख्या

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

चाहिए वापसी ।

हम इसे लिख सकते हैं कम:

number_of_elements f = length . filter f 

क्या यह संभव है च पैरामीटर के बिना यह लिखने के लिए?

Answer 1

ज़रूर है:

number_of_elements = (length .) . filter 

Answer 2

मुझे नहीं लगता कि आप अधिक से अधिक पठनीय आप क्या सुझाव प्राप्त कर सकते हैं करते हैं। हालांकि, सिर्फ मनोरंजन के लिए आप यह कर सकते हैं:

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

या

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

Answer 3

शायद आप निम्न पसंद Semantic Editor Combinators के बारे में पढ़ने के लिए। वहाँ से result Combinator लें:

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

result Combinator एक समारोह लेता है और एक अन्य फ़ंक्शन के परिणाम पर यह लागू होता है। अब उन कार्यों को देखकर हमने:

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

अब, length[a] के लिए लागू होता है; जो, ऐसा होता है, परिणाम foo :: [a] -> [a] के परिणाम का परिणाम है। तो,

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

लेकिन filter का परिणाम वास्तव में एक [a] -> [a] समारोह है, इसलिए हम filter के परिणाम के result length लागू करना चाहते हैं:

number_of_elements = result (result length) filter