Фиксированность операторов обратной связи?

Что такое фиксированность операторов backtick?

Например, в этом коде из Real World Haskell:

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

Очевидно, оператор backtick `fmap` имеет более высокую фиксированность, чем ++, но none не задано GHCi.

Ответы

Ответ 1

§4.4.2 в отчете Haskell говорится, что

Предполагается, что любой оператор, не имеющий объявления о фиксации, является infixl 9

"Любой оператор" включает в себя обычные имена функций в обратных окнах.

В вашем примере показано, что `fmap` имеет более высокую степень достоверности, чем ++, потому что ++ действует на результат fmap.