# Product type

> 타입 이론에서 곱 타입이란 두 개 이상의 타입이 값을 동시에 담을 수 있는 타입을 말한다. C 언어에서는 `struct`로 곱 타입을 정의한다.

[타입 이론](https://wiki.g15e.com/pages/Type%20theory.txt)에서 곱 타입이란 두 개 이상의 타입이 값을 동시에 담을 수 있는 타입을 말한다. <C 언어>에서는 `struct`로 곱 타입을 정의한다.

## See also

- [Sum type](https://wiki.g15e.com/pages/Sum%20type.txt): 곱 타입의 <쌍대>