Ho una serie di classi di tipi di archivio dati che sembrano tutte uguali. trait FooStore[C] {
def create(f: FooId => Foo)(c: C): Foo
// update and find methods
}
vorrei semplificare le c
Quando si gioca con i tipi di metodo dipendenti della Scala, ho incontrato un conflitto con i parametri del metodo di default: abstract class X {
type Y
case class YY(y: Y)
}
object XX ex
Sto provando a fare in modo che Scala trovi il tipo giusto per un tipo dipendente dal percorso proveniente da un tipo singleton. primo luogo, qui è il contenitore tipo per l'esempio, e un'istanza: tra