Noções básicas sobre enumerações de scala

Devo dizer que não entendo as classes de enumeração Scala. Posso copiar e colar o exemplo da documentação, mas não tenho ideia do que está acontecendo.

object WeekDay extends Enumeration {
  type WeekDay = Value
  val Mon, Tue, Wed, Thu, Fri, Sat, Sun = Value
}
import WeekDay._

• O que significa type WeekDay = Valuee por que eu tenho que escrever isso?
• Por que val Mon = Value? Afinal, o que isso quer dizer?
• Por que tenho que importar o WeekDay objeto? E,
• quando escrevo val day = WeekDay.Mon, por que é do tipo WeekDay.Value, não do tipo WeekDay?

a Enumerationcaracterística possui um membro de tipo que Valuerepresenta os elementos individuais da enumeração (na verdade, é uma classe interna, mas a diferença não importa aqui).

Assim, object WeekDayherda esse membro do tipo. A linha type WeekDay = Valueé apenas um alias de tipo . É útil, porque depois de importá-lo para outro lugar import WeekDay._, você pode usar esse tipo, por exemplo:

def isWorkingDay(d: WeekDay) = ! (d == Sat || d == Sun)

Em vez disso, uma versão mínima seria apenas:

object WeekDay extends Enumeration {
  val Mon, Tue, Wed, Thu, Fri, Sat, Sun = Value
}

e você não precisa importar o conteúdo de object WeekDay, mas precisará usar o tipo WeekDay.Valuee qualificar membros individuais. Então o exemplo se tornaria

def isWorkingDay(d: WeekDay.Value) = ! (d == WeekDay.Sat || d == WeekDay.Sun)

A segunda pergunta é sobre o significado de val Mon, ... = Value. Isso é realmente muito confuso se você não analisar a implementação do Enumeration. Esta não é a atribuição de um tipo! É, em vez de chamar um protegido método de mesmo nome , Valueque retorna uma instância de concreto do tipo Value.

Acontece que você pode escrever val a, b, c = fooem Scala, e para cada valor a, be, co método fooserá chamado novamente e novamente. Enumerationusa esse truque para incrementar um contador interno para que cada valor seja individual.

Se você abrir os documentos da API Scala Enumeratione clicar em Visibility: All, verá esse método aparecendo.