guardia desugaring

Question

Spesso sento la frase, le guardie sono solo zucchero sintattico per if-then-else (o dichiarazioni di un caso).

Può per favore qualcuno desugar il seguente esempio:

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

(la funzione è volutamente parziale)

Grazie,

Answer 1

La semantica di pattern matching sono definite nella seguente sezione della norma: Formal Semantics of Pattern Matching.

Il passaggio pertinente alla domanda è c. Come si può vedere, modello corrisponde con le guardie della forma

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

sono convertiti al modello corrisponde senza protezioni come:

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

Così guardie del modello sono definiti in termini di if e "falltrough" è implementato legando l'espressione a una variabile e quindi ripetendola una volta nella clausola else dello if e quindi nel modello a cui si farebbe riferimento.

Se non c'è nessun caso a cadere fino al (come nel tuo esempio) si saranno stati inseriti dopo passo b, che inserisce un caso di default _ -> error "No match"

Answer 2

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

Il tipo esatto di errore provocato da un caso non gestita è non specificato dalla definizione del linguaggio e varia dal compilatore al compilatore.

: Se ci sono più guardie e/o schemi, ogni guardia o corrispondenza di modello va nella parte non corrispondente del caso precedente.

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

produce

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