Busque em todas as páginas da documentação
11 pages in this section.
Tipos de produto versus tipos de soma, e por que enums mais `match` exaustivo eliminam uma classe inteira de bugs que outras linguagens pegam em tempo de execução, ou não pegam de forma alguma.
Structs nomeadas, de tupla e unit; sintaxe de construção e atualização.
Exaustividade de correspondência, guardas e vinculações.
Modelando dados de forma que estados ilegais sejam irrepresentáveis.