Scala - mutuamente esclusivi tratti

Question

C'è un modo per definire un insieme di alternative di un tipo comune:

trait Mutability 
trait Mutable extends Mutability 
trait Immutable extends Mutability 

ed avere il compilatore preclude qualcosa come:

object Hat extends Mutable with Immutable 

credo di poter forza qualche errore compilatore di avere un comune, membro contrastanti ma il messaggio di errore è un po 'obliqua:

trait Mutability 
trait Mutable extends Mutability { protected val conflict = true } 
trait Immutable extends Mutability { protected val conflict = true } 

object Hat extends Mutable with Immutable 

<console>:10: error: object Hat inherits conflicting members: 
value conflict in class Immutable$class of type Boolean and 
value conflict in class Mutable$class of type Boolean 
(Note: this can be resolved by declaring an override in object Hat.) 
    object Hat extends Immutable with Mutable 

Esiste un modo più diretto per esprimere questo vincolo e non permettere a qualcuno di aggirare il problema prendendo l'accenno offerto dal compilatore (sovrascrivere 'conflitto' in Hat)?

Grazie per eventuali approfondimenti

Answer 1

Penso che questo potrebbe funzionare

sealed trait Mutability 
case object Immutable extends Mutability 
case object Mutable extends Mutability 

trait MutabilityLevel[A <: Mutability] 

class Foo extends MutabilityLevel[Immutable.type] 

Questo (ab?) Utilizza il fatto che non è possibile estendere lo stesso tratto due volte con diversa parametrizzazione

scala> class Foo extends MutabilityLevel[Immutable.type] with MutabilityLevel[Mutable.type] 
<console>:11: error: illegal inheritance; 
self-type Foo does not conform to MutabilityLevel[Immutable.type]'s selftype MutabilityLevel[Immutable.type] 
     class Foo extends MutabilityLevel[Immutable.type] with MutabilityLevel[Mutable.type] 
         ^
<console>:11: error: illegal inheritance; 
self-type Foo does not conform to MutabilityLevel[Mutable.type]'s selftype MutabilityLevel[Mutable.type] 
     class Foo extends MutabilityLevel[Immutable.type] with MutabilityLevel[Mutable.type] 

Tuttavia ..

scala> class Foo extends MutabilityLevel[Mutability] 
defined class Foo