haskell - eta减少可能吗？

Question

是否可以在以下情况下应用 eta 减少？

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.isSpace属于 Char -> Bool 类型.

pl给你:

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

解释: liftM2电梯 (||)到 (->) r monad，所以它的新类型是 (r -> Bool) -> (r -> Bool) -> (r -> Bool) .

所以在你的情况下，我们会得到:

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