¿Coincide ... verdadero -> foo | falso -> barra "tiene un significado especial en Ocaml?

Question

Encontré el siguiente constructo en varios lugares del proyecto Ocaml, estoy leyendo el código de.

match something with 
    true -> foo 
    | false -> bar 

A primera vista, funciona como de costumbre if comunicado. En un segundo vistazo, funciona ... ¡funciona como la declaración if habitual! A tercera vista, decidí preguntar en SO. ¿Este constructo tiene un significado especial o una diferencia sutil de la declaración if que importa en casos peculiares?

Answer 1

Sí, es una declaración if.

A menudo las cajas match son más comunes en el código OCaml que if, por lo que se pueden usar para uniformidad.

Answer 2

No estoy de acuerdo con la respuesta anterior, HACE el trabajo de una declaración if pero es más flexible que eso.

"coincidencia de patrones es una sentencia switch, pero 10 veces más potente" alguien declararon

echar un vistazo a este tutorial que explica maneras de utilizar la coincidencia de patrones Link here

Además, al utilizar ocaml coincidencia de patrones es el camino para permitir que se rompe de datos elaborada a los simples, por ejemplo, una lista, tupla y mucho más

> Let imply v = 
    match v with 
    | True, x -> x 
    | False, _ -> true;; 

    > Let head = function 
    | [] -> 42 
    | H:: _ -> am; 

    > Let rec sum = function 
    | [] -> 0 
    | H:: l -> h + sum l;;