정의

컴퓨터 프로그래밍, 특히 함수형 프로그래밍과 타입 이론에서, 대수적 자료형은 복합 타입의 일종이다. 즉, 다른 타입을 조합하여 만든 타입이다.

대수적 자료형은 다음 두 개의 유형이 있습니다:

  • 곱타입
  • 합타입

ADT

좀 더 친숙한 곱타입부터 시작해봅시다.