Scala'da "#" operatörü ne anlama geliyor?

Bu kodu bu blogda görüyorum: Scala'da Tür Düzeyinde Programlama :

// 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]
}

Bir operatör vardır #kodda R#X[R#Next]ben görmedim. Arama yapmak zor olduğu için (arama motorları tarafından görmezden geliniyor), bunun ne anlama geldiğini kim söyleyebilir?

Bunu açıklamak için önce Scala'da yuvalanmış sınıfları açıklamalıyız. Şu basit örneği düşünün:

class A {
  class B

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

Şimdi onunla bir şeyler deneyelim:

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)
                   ^

Scala'da başka bir sınıfın içinde bir sınıf bildirdiğinizde , o sınıfın her örneğinin böyle bir alt sınıfa sahip olduğunu söylüyorsunuz . Başka bir deyişle, A.Bsınıf yoktur , ancak yukarıda hata mesajının bize söylediği gibi, a1.Bve a2.Bsınıflar vardır ve bunlar farklı sınıflardır.

Bunu anlamadıysanız, yola bağlı türleri arayın.

Şimdi, #belirli bir örnekle sınırlandırmadan bu tür iç içe geçmiş sınıflara başvurmanızı mümkün kılar. Başka bir deyişle, yok A.B, ama var A#B, bu da herhangi bir örneğinin Biç içe geçmiş bir sınıfı anlamına geliyor .A

Bunu, yukarıdaki kodu değiştirerek görebiliriz:

class A {
  class B

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

Ve denemek:

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.

Tür projeksiyonu olarak bilinir ve tür üyelerine erişmek için kullanılır.

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

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

Temel olarak, diğer sınıflardaki sınıflara atıfta bulunmanın bir yolu.

http://jim-mcbeath.blogspot.com/2008/09/scala-syntax-primer.html ("pound" araması yapın)

Burada "sembolik işleçler" üzerinde arama yapmak için bir kaynak var (bunlar gerçekten yöntemlerdir), ancak scalex'te arama yapmak için "#" dan nasıl kaçılacağını bulamadım)

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