ईटा कमी संभव है?

Question

क्या नीचे मामले में ईटा कमी लागू करना संभव है?

let normalise = filter (\x -> Data.Char.isLetter x || Data.Char.isSpace x) 

मैं कुछ इस तरह संभव हो सकता है उम्मीद कर रहा था:

let normalise = filter (Data.Char.isLetter || Data.Char.isSpace) 

... लेकिन यह नहीं है

Answer 1

आपका समाधान काम नहीं करता है, क्योंकि (||)Bool मानों पर काम करता है, और Data.Char.isLetter और Data.Char.isSpaceChar -> Bool प्रकार के हैं।

pl आप देता है:

$ pl "f x = a x || b x" 
f = liftM2 (||) a b 

स्पष्टीकरण: liftM2 लिफ्टों (->) r इकाई को (||), तो यह नया प्रकार है (r -> Bool) -> (r -> Bool) -> (r -> Bool) है।

तो अपने मामले में हम मिल जाएगा:

import Control.Monad 
let normalise = filter (liftM2 (||) Data.Char.isLetter Data.Char.isSpace) 

Answer 2

आप Any monoid और वापस लौटने वाले कार्यों के लिए monoid उदाहरण का लाभ ले सकता है मोनोइड मान:

import Data.Monoid 
import Data.Char 

let normalise = filter (getAny . ((Any . isLetter) `mappend` (Any . isSpace))) 

Answer 3

import Control.Applicative 
let normalise = filter ((||) <$> Data.Char.isLetter <*> Data.Char.isSpace) 

Answer 4

एक अन्य समाधान पर देख लायक तीर शामिल है!

import Control.Arrow 

normalize = filter $ uncurry (||) . (isLetter &&& isSpace) 

&&& दो कार्य (वास्तव में तीर) लेता है और एक साथ एक टपल में उनके परिणाम ज़िप। हम तब || बस अनिश्चित हैं, इसलिए यह समय (Bool, Bool) -> Bool बन गया है और हम सब कुछ कर चुके हैं!