¿Qué significa => al comienzo de una definición de clase Scala?

Question

El autor de la pregunta Exchanging type parameters with abstract types escribió un => al comienzo de sus definiciones de clase. Ejemplo:

abstract class Thing { t => 
    type A 
    type G <: Group { type A = t.A } 
    val group: G 
} 

¿Qué significa t =>?

Porque esto es difícil de encontrar en Google & Co, ¿alguien puede por favor darme más información de antecedentes o proporcionar un enlace, donde puedo encontrar más información sobre este lenguaje de construcción?

Answer 1

El nombre predeterminado para la clase en sí es this. Puede reemplazarlo por t por t =>

Es útil si su clase contiene subclases y necesita acceder a la autoreferencia adjunta.

Sin t => en su ejemplo que iba a escribir algo como esto:

abstract class Thing { 
    type G <: Group { type A = this.A } 
} 

Group { type A = this.A } es un subtipo de modo this haría referencia al propio grupo especialización no a un objeto cosa. Probablemente no entiendas lo que quieres decir. Si necesita acceso a la autorreferencia que debe resolver el nombre del conflicto mediante la asignación de autorreferencia otro nombre

abstract class Thing { another_this = > 
    type G <: Group { type A = another_this.A} 
}