OCaml에서는 fun e -> match e with ... 패턴을 축약할 수 있는 방법이 존재한다! 🎉

이것을 "function sugar" 또는 **"pattern matching sugar"**라고 부른다.

✅ function 키워드 사용

OCaml에서는 fun e -> match e with을 function 키워드로 축약할 수 있다.

🔹 기존 코드:

let f = fun e -> match e with
  | Some x -> x
  | None -> 0

🔹 function으로 축약:

let f = function
  | Some x -> x
  | None -> 0

✅ function을 사용하면 인자 이름(e)을 생략할 수 있음!

✅ 더 간결하고 가독성이 향상됨!

✅ 다중 인자 함수에는 function을 바로 사용할 수 없음

만약 다중 인자가 필요하다면, function을 마지막 인자만 처리하는 방식으로 사용할 수 있다.

🔹 기존 코드:

첫 번째 인자를 패턴 매칭 하는 경우

(* int option -> int -> int *)
let f = fun x y -> match x with
  | Some n -> n + y
  | None -> y
;;

f (Some 1) 2;;

두 번째 인자를 패턴 매칭 하는 경우

(* int -> int option -> int *)
let f = fun x y -> match y with
  | Some n -> x + n
  | None -> x
;;

f 1 (Some 2);;

🔹 function 적용:

두 번째 인자는 첫 번째 인자가 매칭된 경우의 매개변수가 됨

(* int option -> int -> int *)
let f = function
  | Some n -> fun y -> n + y
  (* ( + ) n으로 축약 가능 *)
  | None -> fun y -> y
  (* id로 축약 가능 *)
;;

f (Some 1) 2;;

첫 번째 인자는 패턴 매칭 앞에 명시

(* int -> int option -> int *)
let f x = function
  | Some n -> n + x
  | None -> x
;;

f 1 (Some 2);;

📌 주의: function 키워드는 마지막 인자의 패턴 매칭에만 사용할 수 있으며, 앞의 인자들은 개별적으로 명시해야 한다.