O Que É um Product Type?
Um product type combina vários tipos componentes em um só, de modo que um único valor contém um valor de cada componente ao mesmo tempo, como em um struct ou tupla. O número de valores possíveis é o produto das possibilidades de seus componentes, o que dá nome ao tipo. Ele contrasta com um sum type, que contém apenas uma de várias alternativas.
Por que isso importa
Product types são a forma cotidiana de agrupar campos relacionados em um valor coeso. Entender produtos e somas juntos esclarece como modelos de dados ricos são construídos a partir de peças simples.
Guias relacionados
What Is a Sum Type?A sum type holds a value that is exactly one of several named alternatives, each potentially carrying differe…
What Is an Algebraic Data Type?An algebraic data type composes types as combinations of fields and alternatives, modeling data as products a…
What Is Pattern Matching?Pattern matching inspects a value against a set of shapes, selecting a branch and binding parts of the value…