Pattern matching

In plain English

Patterns destructure values and make cases explicit.

• Use match x with.
• Match lists with :: and [].
• Use _ for the default.

let classify n =
  match n with
  | 0 -> "zero"
  | n when n > 0 -> "positive"
  | _ -> "negative"

let () = print_endline (classify 4)