Ich würde gerne ein Objekt an eine Funktion übergeben, die ein Argument mit einem projizierten Typ akzeptiert, und Scala den Schluss ziehen, dass der Typ des Objekts von dem Objekt kommt, das es umgib
Ich habe einige Probleme mit Scala, um aus einer Typprojektion den richtigen Typ abzuleiten. Beachten Sie Folgendes: trait Foo {
type X
}
trait Bar extends Foo {
type X = String
}
def
Während ich meinen Kopf über another question knackte, stieß ich auf verschiedene Rätsel, die verwandt scheinen. Dies ist einer von ihnen: trait Sys[S <: Sys[S]] {
type Peer <: Sys[Peer]
}
tra