합 타입
- 2024-10-09
- 별칭: Tagged union, Choice type, Discriminated union, Disjoint union
타입 이론에서 합 타입이란 두 개 이상의 서로 다른 타입에 속한 값 중 하나입를 선택적으로 담을 수 있는 타입을 말한다. 대표적으로는 Either
, Maybe
등.
See also
- Product type: 합 타입의 쌍대
타입 이론에서 합 타입이란 두 개 이상의 서로 다른 타입에 속한 값 중 하나입를 선택적으로 담을 수 있는 타입을 말한다. 대표적으로는 Either
, Maybe
등.