Що означає оператор `#` у Scala?

Я бачу цей код у цьому блозі: Програмування на рівні в 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]
}

У #коді є оператор, R#X[R#Next]якого я ніколи не бачив. Оскільки його важко шукати (ігнорувати пошукові системи), хто може мені сказати, що це означає?

Щоб пояснити це, спершу треба пояснити вкладені класи у Scala. Розглянемо цей простий приклад:

class A {
  class B

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

Тепер спробуємо щось із цим:

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, ви говорите, що кожен екземпляр цього класу має такий підклас. Іншими словами, A.Bкласу немає , але є a1.Bі a2.Bкласи, і вони різні класи, як повідомляє нам про помилку вище.

Якщо ви цього не зрозуміли, знайдіть типи залежних від шляху.

Тепер #ви даєте можливість посилатися на такі вкладені класи, не обмежуючи це конкретним екземпляром. Іншими словами, немає A.B, але є A#B, що означає Bвкладений клас будь-якого примірника A.

Це ми можемо побачити в роботі, змінивши код вище:

class A {
  class B

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

І випробування:

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.

Він відомий як проекція типу і використовується для доступу до типів членів.

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

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

В основному, це спосіб посилання на класи в інших класах.

http://jim-mcbeath.blogspot.com/2008/09/scala-syntax-primer.html (пошук "фунт")

Ось ресурс для пошуку в "символічних операторах" (які насправді є методами), але я не зрозумів, як уникнути "#" для пошуку в scalex)

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