Czy "match ... true -> foo | false -> bar" ma szczególne znaczenie w Ocaml?

Question

Napotkałem następującą konstrukcję w różnych miejscach projektu Ocaml. Czytam kod.

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

Na pierwszy rzut oka działa jak zwykle if oświadczenie. Na drugi rzut oka, to .. działa jak zwykle oświadczenie if! Na trzeci rzut oka postanowiłem zapytać w SO. Czy ten konstrukt ma specjalne znaczenie lub subtelną różnicę w stosunku do stwierdzenia if, które ma znaczenie w osobliwych przypadkach?

Answer 1

Tak, jest to instrukcja if.

Często zdarza się, że numery match w kodzie OCaml są większe niż if, więc mogą być używane do jednorodności.

Answer 2

Nie zgadzam się z poprzednią odpowiedzią, działa ona w instrukcji if, ale jest bardziej elastyczna.

„pasujące do wzorca jest instrukcja switch ale 10 razy silniejsze” ktoś stwierdził

przyjrzeć się tej lekcji wyjaśniający sposoby wykorzystania Pattern Matching Link here

Ponadto, przy użyciu SML pasujące do wzorca jest droga co pozwala złamać dane składa się do prostych, na przykład listy, krotki i wiele więcej

> 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;;