Có thể giảm eta không?

Question

Có thể áp dụng giảm eta trong trường hợp dưới đây không?

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

Tôi đã chờ đợi một cái gì đó như thế này để có thể:

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

... nhưng nó không phải là

Answer 1

Giải pháp của bạn không hoạt động, bởi vì (||) hoạt động trên các giá trị Bool và Data.Char.isLetter và Data.Char.isSpace thuộc loại Char -> Bool.

pl mang đến cho bạn:

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

Giải thích: liftM2 thang máy (||) đến (->) r đơn nguyên, do đó, nó loại mới là (r -> Bool) -> (r -> Bool) -> (r -> Bool).

Vì vậy, trong trường hợp của bạn, chúng tôi sẽ nhận được:

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

Answer 2

Bạn có thể tận dụng lợi thế của Any monoid và dụ monoid cho các chức năng trở về giá trị 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

Một giải pháp khác đáng được xem xét liên quan đến mũi tên!

import Control.Arrow 

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

&&& lấy hai hàm (mũi tên thực sự) và nén kết quả của chúng vào một bộ. Chúng tôi sau đó chỉ cần uncurry || vì vậy nó là thời gian trở thành (Bool, Bool) -> Bool và chúng tôi đang làm tất cả!