反引号运算符的固定性？

Question

反引号运算符的固定性是什么？

例如,来自Real World Haskell的代码:

ghci> (1+) `fmap` [1,2,3] ++ [4,5,6]
[2,3,4,4,5,6]

很明显,反引号操作符`fmap`具有更高的固定性++,但GHCi没有给出.

Answer 1

Haskell报告的 §4.4.2 指出

任何缺乏固定性声明的运营商都被假定为第9条

"任何运算符"包括反引号中的正常函数名称.

您的示例显示`fmap`确实具有更高的固定性++,因为++对结果的行为fmap.