Tipos de dados algébricos em

Sobre Tipos de dados algébricos

Um tipo de dados algébrico (ADT) representa um número fixo de casos nomeados. Cada valor de um ADT corresponde a exatamente um dos casos nomeados.

Um ADT é definido com a palavra-chave data, com os casos separados por uma barra vertical (|). Se nenhum dos casos tiver dados associados, o ADT é semelhante ao que outras linguagens costumam designar por enumeração (ou enum).

data Season
  = Spring
  | Summer
  | Autumn
  | Winter

Cada caso de um ADT pode ter, opcionalmente, dados associados, e casos diferentes podem ter tipos de dados diferentes. Quando o caso tem dados associados, é necessário um construtor.

data Number
  = NInt Int      --'NInt' is the constructor for an Int Number.
  | NFloat Float  --'NFloat' is the constructor for an Float Number.
  | Invalid       --'Invalid' does not have data associated to it.

Criar um valor para um caso específico pode ser feito referindo o nome desse caso (por exemplo, NInt 22). Como os nomes dos casos são apenas funções construtoras, os dados associados podem ser passados como um argumento de função comum.

Os ADTs têm igualdade estrutural, o que significa que dois valores para o mesmo caso e com os mesmos dados (opcionais) são equivalentes.

Embora se possam usar expressões if/else para trabalhar com ADTs, a forma recomendada de trabalhar com eles é através da correspondência de padrões com uma instrução case:

add1 :: Number -> String
add1 number =
    case number of
      NInt    i -> show (i + 1)
      NFloat  f -> show (f + 1.0)
      Invalid   -> error "Invalid input"