guard desugaring

Question

Ich höre oft den Ausdruck, Wachen sind nur syntaktische Zucker für Wenn-dann-sonst (oder Case-Anweisungen).

Kann jemand bitte desugar folgendes Beispiel:

halfOf :: Int -> Int 
halfOf x | even x = div x 2 

(Die Funktion absichtlich teilweise ist)

Danke,

Answer 1

Die Semantik der Musteranpassung in dem folgenden Abschnitt der Norm definiert sind: Formal Semantics of Pattern Matching.

Der Schritt, der für Ihre Frage relevant ist, ist c. Wie Sie sehen können, mit Wachen Spiele Muster der Form

case v of { p | g1 -> e1 ; ... 
       | gn -> en where { decls } 
      _  -> e' } 

zu Muster übersetzt Spiele ohne Wachen wie:

case e' of 
{y -> 
    case v of { 
     p -> let { decls } in 
      if g1 then e1 ... else if gn then en else y ; 
     _ -> y }} 

So definiert Wachen Muster in Bezug auf if und „fallthrough“ implementiert indem Sie den Ausdruck an eine Variable binden und sie dann einmal in der else-Klausel von if und dann in dem Muster wiederholen, in das Sie fallen würden.

Wenn es kein Fall durch fallen (wie in Ihrem Beispiel) wird man Schritt b eingefügt worden, die einen Standard-Fall _ -> error "No match"

Answer 2

halfOf x = 
    if even x 
    then div x 2 
    else error "Incomplete pattern match" 

Die genaue Art von Fehler durch eine nicht behandelte Fall ausgelöst wird nicht von der Sprachdefinition angegeben und variiert von Compiler zu Compiler.

bearbeiten: Wenn mehrere Wächter und/oder Muster vorhanden sind, geht jede Wächter- oder Musterübereinstimmung in den nicht übereinstimmenden Teil des vorherigen Falls.

compare x y 
    | x == y = foo 
    | x /= y = bar 
compare _ _ = baz 

produziert

compare x y = 
    if x == y 
    then foo 
    else if x /= y 
     then bar 
     else baz