Действительно “соответствует … верный-> нечто | ложь->, панель” имеет особое значение в Ocaml?

Я не согласен с предыдущим ответом, он ДЕЛАЕТ работу оператора if, но он более гибкий, чем этот.

"сопоставление с образцом - это оператор switch, но в 10 раз более мощный "кто-то заявил

взгляните на это руководство, объясняющее способы использования сопоставления с образцом Ссылка здесь

Кроме того, при использовании сопоставления с образцом OCAML это способ позволить вам разбить составленные данные на простые, например список , кортеж и многое другое

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