Eta azaltma mümkün mü?

Question

Aşağıdaki durumda eta azaltımı uygulamak mümkün mü?

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

Böyle bir şey mümkün olmasını bekliyordum:

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

... ama değil

Sen Any Monoid ve geri dönen fonksiyonlar için monoid örneğinin yararlanmak

Answer 1

Çözümünüz çalışmıyor, çünkü (||), Bool değerlerinde ve Data.Char.isLetter ve Data.Char.isSpace, Char -> Bool türünde çalışır.

pl verir:

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

Açıklama: yeni tip liftM2 asansörleri (->) r monad için (||), böylece (r -> Bool) -> (r -> Bool) -> (r -> Bool) olduğunu.

Yani sizin durumda biz alırsınız: bakarak

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

Answer 2

monoz değerleri:

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

Başka bir çözüm değerinde okları içerir!

import Control.Arrow 

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

&&& iki işlevi (gerçekten oklar) alır ve bir demet halinde bir araya sonuçlarını fermuarlar. O zaman sadece || uncurry olur, bu yüzden (Bool, Bool) -> Bool olur ve hepimiz bitti!