"Match ... true -> foo | false -> bar" Ocaml'da özel bir anlam ifade ediyor mu?

Question

Ocaml projesi boyunca çeşitli yerlerde aşağıdaki yapı ile karşılaştım. İlk bakışta

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

, her zamanki if deyimi gibi çalışır. İkinci bakışta, her zamanki gibi if ifade gibi çalışır! Üçüncü bakışta, SO'ya sormaya karar verdim. Bu yapının, özel durumlarda önemli olan if ifadesinden özel bir anlamı veya ince bir farkı var mı?

Answer 1

Evet, bu bir if ifadesidir.

Genellikle match olgu if daha OCaml kodunda daha yaygındır, bu nedenle düzgünlüğü için kullanılabilir.

Answer 2

Önceki cevaba katılıyorum, bir if ifadesinin çalışmasını yapar, ancak bundan daha esnektir.

birisi

Ayrıca Link here

eşleşen deseni kullanmanın yollarını açıklayan bu öğretici bir göz atın belirtti "desen eşleştirme ancak 10 kat daha güçlü bir switch deyimi olan", OCaml desen eşleştirme kullanırken yoludur Örneğin, basit olanlara bir liste, başlığın ve kompoze verileri kırmak izin çok daha

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