OCaml: Pattern matching vs If/else statements

Question

Quindi, sono totalmente nuovo a OCaml e mi sto muovendo abbastanza lentamente per implementare le mie prime funzioni. Una cosa che riesco a capire è quando usare le abilità di pattern corrispondenti come

let foo = 
[] -> true 
| _ -> false;; 

vs utilizzando la struttura if altro come

let foo a = 
if a = [] then true else false;; 

Quando devo utilizzare ciascuno?

Answer 1

Non credo che ci sia una risposta chiara a questa domanda. In primo luogo, il caso evidente di pattern matching è quando è necessario distruggendo, ad esempio:

let rec sum = function 
    | [] -> 0 
    | head :: tail -> head + sum tail;; 

Un altro caso evidente è quando si sta definendo una funzione ricorsiva, pattern matching rendere la condizione bordo più chiaro, ad esempio:

let rec factorial = function 
    | 0 -> 1 
    | n -> n * factorial(n - 1);; 

invece di:

let rec factorial = function n -> 
    if n = 0 then 
    1 
    else 
    n * factorial(n-1);; 

che potrebbe non essere un grande esempio, basta usare la vostra immaginazione per capire le condizioni dei bordi più complesse! ;-)

In termini di regolari (ad esempio C Come) lingue, potrei dire che si dovrebbe usare il pattern matching, invece di switch/case e if al posto del l'operatore ternario. Per tutto il resto è una specie di zona grigia, ma la combinazione di modelli è solitamente preferita nella famiglia di lingue ML.

Answer 2

Per quanto ne so la differenza significativa è che l'espressione delle guardie nell'istruzione match è un pattern che significa che puoi fare cose che ti permettono di separare la forma (destruct) dall'espressione abbinata, come ha mostrato Nicolas nella sua risposta. L'altra implicazione di questo è che il codice come questo:

let s = 1 in 
    let x = 2 in 
    match s with 
    x -> Printf.printf "x does not equal s!!\n" x 
    | _ -> Printf.printf "x = %d\n" x; 

non farà quello che ci si aspetta. Questo perché x nell'istruzione della partita non si riferisce allo x nella dichiarazione let sopra ma è un nome del modello. In casi come questi è necessario utilizzare le dichiarazioni if.

Answer 3

La corrispondenza del modello consente la decostruzione di tipi di dati composti e, in generale, la possibilità di associare il modello all'interno di una data struttura dati, piuttosto che utilizzare condizionali come la struttura if .. then. La corrispondenza di modelli può anche essere utilizzata per i casi di uguaglianza booleana usando il costrutto di tipo | x quando (r == n). Dovrei anche aggiungere la corrispondenza del modello è molto più efficiente di se ... quindi .. costruisce, quindi usalo liberamente!