¿Qué significa el operador `#` en Scala?

Question

que ver este código en este blog: Type-Level Programming in Scala:

// define the abstract types and bounds 
trait Recurse { 
    type Next <: Recurse 
    // this is the recursive function definition 
    type X[R <: Recurse] <: Int 
} 
// implementation 
trait RecurseA extends Recurse { 
    type Next = RecurseA 
    // this is the implementation 
    type X[R <: Recurse] = R#X[R#Next] 
} 
object Recurse { 
    // infinite loop 
    type C = RecurseA#X[RecurseA] 
} 

Hay un operador # en el código R#X[R#Next] que nunca he visto. Como es difícil buscarlo (ignorado por los motores de búsqueda), ¿quién puede decirme qué significa?

Answer 1

explicarlo, primero tenemos que explicar clases anidadas en Scala. Considere este ejemplo sencillo:

class A { 
    class B 

    def f(b: B) = println("Got my B!") 
} 

Ahora vamos a intentar algo con ella:

scala> val a1 = new A 
a1: A = A@2fa8ecf4 

scala> val a2 = new A 
a2: A = A@4bed4c8 

scala> a2.f(new a1.B) 
<console>:11: error: type mismatch; 
found : a1.B 
required: a2.B 
       a2.f(new a1.B) 
       ^

Cuando se declara una clase dentro de otra clase en la Scala, usted está diciendo que cada instancia de esa clase tiene tal una subclase. En otras palabras, no hay clase A.B, pero hay clases a1.B y a2.B, y son clases diferentes, como nos dice el mensaje de error anterior.

Si no entendió eso, busque los tipos que dependen de la ruta.

Ahora, # hace posible que consulte estas clases anidadas sin restringirla a una instancia en particular. En otras palabras, no hay A.B, pero hay A#B, lo que significa una clase anidada B de instancia de A.

Podemos ver esto en el trabajo, cambiando el código anterior:

class A { 
    class B 

    def f(b: B) = println("Got my B!") 
    def g(b: A#B) = println("Got a B.") 
} 

Y tratar a cabo:

scala> val a1 = new A 
a1: A = A@1497b7b1 

scala> val a2 = new A 
a2: A = A@2607c28c 

scala> a2.f(new a1.B) 
<console>:11: error: type mismatch; 
found : a1.B 
required: a2.B 
       a2.f(new a1.B) 
       ^

scala> a2.g(new a1.B) 
Got a B. 

Answer 2

Se conoce como proyección de tipo, y se utiliza para acceder a miembros de tipo.

scala> trait R { 
    | type A = Int 
    | } 
defined trait R 

scala> val x = null.asInstanceOf[R#A] 
x: Int = 0 

Answer 3

Básicamente, es una forma de referirse a clases dentro de otras clases.

http://jim-mcbeath.blogspot.com/2008/09/scala-syntax-primer.html (busque "libra")

Answer 4

Aquí hay un par de recursos para la búsqueda de "operadores simbólicos" (que en realidad son métodos), pero no he encontrado la manera de escapar "#" para buscar en en scaleX)

http://www.artima.com/pins1ed/book-index.html#indexanchor

http://scalex.org/