Sorry about the vague title, but part of this question is what these two syntax styles are called:
let foo1 x = match x with | 1 -> \"one\" |
The pro for the second syntax is that when used in a lambda, it could be a bit more terse and readable.
List.map (fun x -> match x with | 1 -> "one" | _ -> "not one") [0;1;2;3;1]
vs
List.map (function 1 -> "one" | _ -> "not one") [0;1;2;3;1]