Type theory In type theory , commonly used in programming languages , a tuple has a product type ; this fixes not only the length , but also the underlying types of each component .

Each of the objects in the list has a certain type .
