In welcher Reihenfolge würde Haskell 2 Operanden gleicher Priorität auswerten?

Question

Für eine Funktion, die denselben Operanden verwendet, z. + oder * mehr als einmal, wie wird es bewerten?

Zum Beispiel in dem folgenden Code:

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

Wie würde die folgende bewertet werden?

prodOfThree (2+3) 4 2 

Dies ist so weit ich habe:

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

Und dann bin ich nicht sicher, ob es 5*4 vervielfachen würde zuerst, 4*2 erste oder 5*4*2 alle auf einmal.

Answer 1

können Sie fragen nach einem infixity mit GHCI des Betreibers:

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

Oder Sie können look it up on Hackage. Eine gute Möglichkeit, Hackage zu suchen, ist mit Hoogle oder Hayoo.

Weil * infixity hat infixl 7 Dies bedeutet, es ist linksassoziativen und hat Vorrang . Daher ist a * b * c(a * b) * c.

Ein interessanteres Beispiel ist ein Operator, der nicht die mathematische Eigenschaft der Assoziativität wie - hat (nicht zu verwechseln mit Infixität, die es hat). Die Infixität ist infixl 6 und daher a - b - c ist (a - b) - c.

Ein Beispiel für einen rechtsassoziativ Operator ist ::

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

So a : b : c ist a : (b : c). Beachten Sie, dass, wenn es linksassoziativ war, a : b : c (wahrscheinlich) ein Typfehler sein würde!