Product type

Product types combine two types into a single structure

A product type, also known as a compound type, is formed by combining two or more types into a single structure. This combination retains the fixed order of the operands, meaning the position of each type within the product type is significant and cannot be altered. The instance of a product type is represented as a tuple, which is a sequence of elements in a specific order.

Example

In programming, a tuple type representing a person might be (name, age), where 'name' is a string type and 'age' is an integer type.

Remember this

Understanding product types is essential for structuring complex data in programming languages.

Text adapted from Wikipedia, licensed under CC BY-SA 4.0.

Related concepts

Sum of angles of a triangle

Sum of angles in a triangle equals 180 degrees

Dependent type

Dependent types depend on values, not just types

Monad (functional programming)

Monads are a type constructor with two operations: return and bind

Curry–Howard correspondence

Proofs are programs, types are propositions

the union bound says: P(A∪B) ≤ P(A) + P(B)

The union bound states: P(A∪B) ≤ P(A) + P(B)

the dot product measures alignment: it equals |a||b|cos(θ)

Why do vectors sometimes "agree" with each other?

Swipe through 100 ML concepts daily

Open Pocket Polymath