Какова постоянство операторов обратной кавычки?
Например, в этом коде из Real World Haskell :
ghci> (1+) `fmap` [1,2,3] ++ [4,5,6]
[2,3,4,4,5,6]
Очевидно, что оператор обратной кавычки `fmap` имеет более высокую устойчивость, чем ++, но GHCi не дает ни одного.
В §4.4.2 отчета Haskell говорится, что
Любой оператор без объявления фиксации считается infixl 9
«Любой оператор» включает обычные имена функций в обратных кавычках.
Ваш пример показывает, что `fmap` имеет более высокую устойчивость, чем ++, потому что ++ действует на результат fmap.
1 + 2 `const` 5 = 3, но 1 + 2 `div` 5 = 1.
- person Rotsor; 18.10.2011
1 + 2 `const` 5 было бы равно 3, даже если бы фиксированность `const` была такой же, как у `div`.
- person Tsuyoshi Ito; 18.10.2011
2 `div` 1 ^ 2 = 2 и 2 `const` 1 ^ 2 = 4 являются примерами.
- person Rotsor; 19.10.2011
'f' `elem` "abc" ++ "ijk", который работает нормально. - person fuz schedule 18.10.2011