有没有办法在Haskell中预测部分应用函数的中缀函数行为？

Question

我有两个功能 -

partialSubtractionWith5 :: (Num a) => a -> a
partialSubtractionWith5 = (subtract 5)

和

partialSubtractionWith5' :: (Num a) => a-> a
partialSubtractionwith5' = (`subtract` 5)

调用partialSubtractionWith5 x返回相当于x - 5,而调用partialSubtractionWith5' x返回相当于5 - x.

在Learn You a Haskell中,Lipovača定义了以下功能 -

isUpperAlphanum :: Char -> Bool
isUpperAlphanum = (`elem` ['A'..'B'])

其中(基于我的实验subtract)我会认为当被称为时会表现得如此isUpperAlphanum 'some char':

Prelude> ['A'..'B'] `elem` 'some char'
False

显然,事实并非如此.但为什么？有没有办法预测哪些函数在部分应用时会反转它们的参数？

Answer 1

没有矛盾,就是这样subtract = flip (-).即

partialSubtractionWith5' x ? (`subtract` 5) x
                           ? x `subtract` 5
                           ? 5 - x

同样地,

isUpperAlphanum '?' ? '?' `elem` ['A'..'B']

OTOH,

partialSubtractionWith5 x ? (subtract 5) x
                          ? (5`subtract`) x
                          ? 5 `subtract` x
                          ? x - 5