OCaml

(* 기본 함수 정의 - 타입 추론 *)
let square x = x * x
let add x y = x + y

(* 재귀 함수 - rec 키워드 필요 *)
let rec factorial n =
  if n <= 1 then 1
  else n * factorial (n - 1)

(* 대수적 데이터 타입 정의 *)
type shape =
  | Circle of float              (* 반지름 *)
  | Rectangle of float * float   (* 너비 * 높이 *)
  | Triangle of float * float    (* 밑변 * 높이 *)

(* 패턴 매칭으로 면적 계산 *)
let area shape =
  match shape with
  | Circle r -> Float.pi *. r *. r
  | Rectangle (w, h) -> w *. h
  | Triangle (b, h) -> 0.5 *. b *. h

(* Option 타입으로 안전한 나눗셈 *)
let safe_divide x y =
  if y = 0 then None
  else Some (x / y)

(* 리스트 처리 - 패턴 매칭 활용 *)
let rec sum_list = function
  | [] -> 0
  | head :: tail -> head + sum_list tail

(* 고차 함수 사용 *)
let numbers = [1; 2; 3; 4; 5]
let doubled = List.map (fun x -> x * 2) numbers
let total = List.fold_left (+) 0 numbers

(* 파이프 연산자로 가독성 향상 *)
let result =
  numbers
  |> List.filter (fun x -> x mod 2 = 0)
  |> List.map (fun x -> x * x)
  |> List.fold_left (+) 0

(* 레코드 타입 *)
type person = {
  name: string;
  age: int;
  email: string option;
}

let alice = { name = "Alice"; age = 30; email = Some "alice@example.com" }

(* 모듈 시스템 *)
module Stack = struct
  type 'a t = 'a list

  let empty = []
  let push x stack = x :: stack
  let pop = function
    | [] -> None
    | x :: rest -> Some (x, rest)
end