Какой порядок Haskell оценил бы 2 операнда одинакового приоритета?

Question

Для функции, которая использует тот же самый операнд, например. + или * несколько раз, как он оценит его?

Например, в следующем коде:

prodOfThree :: Int -> Int -> Int 
prodOfThree a b c = a*b*c 

Как бы следующее оценивать?

prodOfThree (2+3) 4 2 

Это, насколько я получил:

=> (2 + 3) * 4 * 2 
=> 5 * 4 * 2 

И тогда я уверен в том, будет ли умножать 5*4 первый, 4*2 первый или 5*4*2 все сразу.

Answer 1

Вы можете попросить infixity использованием GHCI эксплуатанта:

>>> :info (*) 
class Num a where 
    ... 
    (*) :: a -> a -> a 
    ... 
     -- Defined in `GHC.Num' 
infixl 7 * 

Или вы можете look it up on Hackage. Хороший способ поиска Hackage - Hoogle или Hayoo.

Поскольку * имеет infixity infixl 7 это означает, что левоассоциативной и имеет приоритет . Поэтому a * b * c - (a * b) * c.

Более интересным примером является оператор, который не имеет математического свойства ассоциативности, такого как - (его нельзя путать с неуязвимостью, которое у него есть). Недостатком является infixl 6, и поэтому a - b - c - (a - b) - c.

Пример правого ассоциативной оператора ::

>>> :info (:) 
data [] a = ... | a : [a]  -- Defined in `GHC.Types' 
infixr 5 : 

Так a : b : c является a : (b : c). Обратите внимание, что если он был лево-ассоциативным, то a : b : c был бы (вероятно) ошибкой типа!