在編程語言和類型理論中，類型的乘積是一個結構中的另一個復合類型。乘積的操作數是類型，而乘積類型的結構是由乘積中操作數的固定順序決定的。一個產品類型的實例保留了固定的順序，但除此之外可以包含其原始數據類型的所有可能實例。產品類型的一個實例的表達式將是一個元組，被稱為表達式的元組類型。一個類型的乘積是兩個或多個類型的直接乘積。如果只有兩個成分類型，可以稱為對類型。例如，如果兩個分量類型A和B是該類型所有可能的值的集合，那么寫成A×B的乘積類型包含的元素是對（a,b），其中a和b分別是A和B的實例。對子類型是依賴對子類型的一個特例，其中類型B可能依賴于從A中挑選的實例。在許多語言中，產品類型采取記錄類型的形式，對于這種類型，元組的組成部分可以通過標簽來訪問。在有代數數據類型的語言中，如大多數函數式編程語言，有一個構造函數的代數數據類型與產品類型是同構的。在Curry-Howard對應關系中，產品類型與邏輯學中的邏輯連接（AND）有關。

這個概念直接延伸到任意有限數量的類型的乘積（n-ary乘積類型），在這種情況下，它表征了表現為相應類型的表達式的圖元的表達方式。乘積類型的一個退化形式是單元類型：它是沒有類型的乘積。在逐值編程語言中，產品類型可以被解釋為一組對，其xxx部分是xxx類型的值，第二部分是第二類型的值。簡而言之，它是一個笛卡爾產品，它對應于類型類別中的一個產品。大多數函數式編程語言都有一個原始的乘積類型概念。例如，type1,...,typen的乘積在ML中被寫成type1*...*typen，在Haskell中被寫成（type1,...,typen）。在這兩種語言中，元組被寫成(v1,...,vn)，元組的組成部分是通過模式匹配來提取的。此外，許多函數式編程語言提供了更通用的代數數據類型，它擴展了乘積和類型。產品類型是和類型的對偶。