OCaml에서 ADT (Algebraic Data Type, 대수적 데이터 타입)

**대수적 데이터 타입(ADT)**은 여러 개의 값(데이터)을 조합하여 새로운 타입을 정의하는 방식을 의미합니다. OCaml에서는 type 키워드와 | 연산자를 사용하여 ADT를 정의합니다.

🔹 1. Sum Type (Variant Type)

• 여러 개의 가능한 값 중 하나를 선택하는 타입.
• OCaml에서 | 기호를 사용하여 정의함.
• 예시: Color 타입

type color =
  | Red
  | Green
  | Blue
;;

let describe_color c =
  match c with
  | Red -> "빨강"
  | Green -> "초록"
  | Blue -> "파랑"
;;

print_endline (describe_color Red);; (* 빨강 *)
print_endline (describe_color Green);; (* 초록 *)

Sum Type 값은 생성자를 쓰는 것만으로 정의 가능 (e.g. Red)

✅ 특징:

• Red, Green, Blue 중 하나의 값만 가질 수 있음.
• match ... with 문을 사용하여 패턴 매칭 가능.

🔹 2. Product Type (Record Type)

• 여러 개의 데이터를 하나의 구조체처럼 묶음.
• 예시: Person 타입

type person = {
  name: string;
  age: int;
};;

let p = { name = "Alice"; age = 25 };;

Printf.printf "이름: %s, 나이: %d\\n" p.name p.age;;
(* 출력: 이름: Alice, 나이: 25 *)

print_endline 말고 Printf.printf로도 표준 출력 가능. %s, %d 지원.

name과 age를 필드로 가진 레코드를 정의하면 자동으로 person 타입과 대응한다.

✅ 특징: