Scala 2.8で<：<、<％<、および=：=は何を意味し、それらはどこに文書化されていますか？

PredefのAPIドキュメントで、それらがジェネリック関数タイプ（From）=> Toのサブクラスであることがわかりますが、それだけです。えっと、何？ドキュメントはどこかにあるかもしれませんが、検索エンジンは "<：<"のような "名前"をうまく処理しないので、私はそれを見つけることができませんでした。

追加質問：これらのファンキーなシンボル/クラスを使用する必要があるのはなぜですか？

これらは一般化された型制約と呼ばれます。これにより、型パラメーター化されたクラスまたは特性内から、型パラメーターの1つをさらに制約できます。次に例を示します。

case class Foo[A](a:A) { // 'A' can be substituted with any type
    // getStringLength can only be used if this is a Foo[String]
    def getStringLength(implicit evidence: A =:= String) = a.length
}

暗黙の引数evidenceはコンパイラーによって提供され、iff AはStringです。あなたはと考えることができます証拠AであるString--the引数自体は唯一それが存在することを知って、重要ではありません。[編集：ええと、技術的には、からAへの暗黙的な変換を表すため、実際には重要です。これStringにより、呼び出しa.lengthを許可し、コンパイラーに怒鳴られることはありません]

これで次のように使用できます：

scala> Foo("blah").getStringLength
res6: Int = 4

しかし、私がFooそれ以外のものを含むものでそれを使用しようとした場合String：

scala> Foo(123).getStringLength
<console>:9: error: could not find implicit value for parameter evidence: =:=[Int,String]

あなたはそのエラーを「Int == Stringであるという証拠を見つけることができませんでした」と読むことができます... さらなる制限getStringLengthを課しているのタイプに、一般に必要AなものよりもをFooます。つまり、あなただけ呼び出すことができますgetStringLengthにFoo[String]。この制約はコンパイル時に適用されます。これはすばらしいことです。

<:<そして、<%<同様に作業が、わずかなバリエーションを持ちます：

• A =:= B Aは正確にBでなければならないことを意味します
• A <:< BAはBのサブタイプでなければならないことを意味します（単純な型制約に<:）
• A <%< BAが表示可能でなければならないことを意味します Bとして。おそらく暗黙的な変換（単純型制約に類似<%）

@retronymによるこのスニペットは、この種のことがどのようにして達成され、一般化された型制約がどのようにしてこれをより簡単にするのかについての良い説明です。

補遺

あなたのフォローアップの質問に答えるために、確かに、私が与えた例はかなり工夫されており、明らかに役に立たない。しかしList.sumInts、整数のリストを合計するメソッドのようなものを定義するためにそれを使用することを想像してください。このメソッドが古いListで呼び出されるのを許可する必要はありませんList[Int]。ただし、Listタイプコンストラクターをそれほど制約することはできません。あなたはまだ文字列、foos、bars、whatnotsのリストを持ちたいと思っています。したがって、一般化された型制約をに配置sumIntsすることで、そのメソッドだけがでのみ使用できる追加の制約を持つことを保証できますList[Int]。基本的に、特定の種類のリスト用に特別なケースのコードを書いています。

完全な答えではありません（他の人はすでにこれに答えています）。構文をよりよく理解するのに役立つ次の点に注意したいと思います。たとえば、pelotomの例のように、これらの「演算子」を通常使用する方法：

def getStringLength(implicit evidence: A =:= String)

型演算子にScalaの代替中置構文を使用します。

したがって、A =:= Stringと同じです=:=[A, String]（そして=:=、派手な名前のクラスまたは特性です）。この構文は「通常の」クラスでも機能することに注意してください。たとえば、次のように記述できます。

val a: Tuple2[Int, String] = (1, "one")

このような：

val a: Int Tuple2 String = (1, "one")

これは、メソッド呼び出しの2つの構文である「通常の」と「.および」()演算子の構文に似ています。

他の回答を読んで、これらの構成要素を理解してください。ここに、あなたがそれらを使用する必要があります。特定のタイプのメソッドのみを制約する必要がある場合に使用します。

例を示します。次のように、同種のペアを定義するとします。

class Pair[T](val first: T, val second: T)

次のsmallerように、メソッドを追加します。

def smaller = if (first < second) first else second

T注文した場合にのみ機能します。クラス全体を制限できます：

class Pair[T <: Ordered[T]](val first: T, val second: T)

しかし、それは残念なことのようです-がT注文されていないときにクラスが使用される可能性があります。型制約があっても、smallerメソッドを定義できます。

def smaller(implicit ev: T <:< Ordered[T]) = if (first < second) first else second

それは、たとえば、インスタンス化するには大丈夫だPair[File]、限り、あなたは電話をしないよう smaller、それに。

の場合Option、実装者はorNullメソッドを望んでいましたが、それはには意味がありませんOption[Int]。型制約を使用することで、すべてがうまくいきます。あなたは使用することができるorNull上Option[String]、あなたが形成できるOption[Int]と長い間、あなたが呼び出すことはありませんようとして、それを使用するorNullことに。しようSome(42).orNullとすると、魅力的なメッセージが表示されます

 error: Cannot prove that Null <:< Int

どこで使用されているかによります。ほとんどの場合、暗黙的なパラメーターの型を宣言するときに使用すると、それらはクラスになります。まれにオブジェクトになることもあります。最後に、Manifestオブジェクトの演算子にすることができます。それらは内部で定義されていますscala.Predef特に十分に文書化されていませんが、最初の2つのケースででています。

<:と同様に、クラス間の関係をテストする方法を提供することを目的としています<%、後者が使用できない状況でしています。

「いつ使うべきなのか」という質問については、知らない限り、使うべきではありません。:-) EDIT：OK、OK、ライブラリの例をいくつか示します。にEither、次のものがあります。

/**
  * Joins an <code>Either</code> through <code>Right</code>.
  */
 def joinRight[A1 >: A, B1 >: B, C](implicit ev: B1 <:< Either[A1, C]): Either[A1, C] = this match {
   case Left(a)  => Left(a)
   case Right(b) => b
 }

 /**
  * Joins an <code>Either</code> through <code>Left</code>.
  */
 def joinLeft[A1 >: A, B1 >: B, C](implicit ev: A1 <:< Either[C, B1]): Either[C, B1] = this match {
   case Left(a)  => a
   case Right(b) => Right(b)
 }

にOption、あなたは持っています：

def orNull[A1 >: A](implicit ev: Null <:< A1): A1 = this getOrElse null

コレクションには他にもいくつかの例があります。