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