Возможный дубликат:
Что означают‹: ‹,‹% ‹и =: = в Scala 2.8 и где они задокументированы?
например в этом примере из scala-arm 1.0:
def toTraversable[B](implicit ev: R <:< TraversableOnce[B]): Traversable[B] =
new ManagedTraversable[B,R] {
val resource = self
override protected def internalForeach[U](resource: R, g : B => U) : Unit =
ev(resource).foreach(g)
}
‹:‹ (И подобные странно выглядящие конструкции) определены в Predef.scala (источник на scala-lang.org), что, вероятно, является лучшим ресурсом для выяснения того, что они из себя представляют.
В общем, подобные классы могут использоваться для предоставления дополнительных границ параметров типа в рамках конкретного метода. ‹:‹, В частности, используется для того, чтобы требовать, чтобы R был подтипом TraversableOnce[B].
Описание от Predef:
Чтобы ограничить любой абстрактный тип T, который находится в области видимости в списке аргументов метода (а не только в параметрах собственного типа метода), просто добавьте неявный аргумент типа
T <:< U, где U - требуемая верхняя граница; или для нижних границ используйте:L <:< T, где L - требуемая нижняя граница.
