У меня есть такая черта:
trait CanFold[-T, R] {
def sum(acc: R, elem: T): R
def zero: R
}
С функцией, которая работает с ней следующим образом:
def sum[A, B](list: Traversable[A])(implicit adder: CanFold[A, B]): B =
list.foldLeft(adder.zero)((acc,e) => adder.sum(acc, e))
Цель состоит в том, чтобы сделать что-то вроде этого:
implicit def CanFoldSeqs[A] = new CanFold[Traversable[A], Traversable[A]] {
def sum(x: Traversable[A], y: Traversable[A]) = x ++ y
def zero = Traversable()
}
sum(List(1, 2, 3) :: List(4, 5) :: Nil)
//=> Traversable[Int] = List(1, 2, 3, 4, 5)
Итак, это тип-класс для типов, для которых среда уже знает, как складываться и может быть определена для Ints, Strings, что угодно.
Моя проблема в том, что я хочу также иметь более специфические импликации, которые имеют приоритет, например:
implicit def CanFoldSets[A] = new CanFold[Set[A], Set[A]] {
def sum(x: Set[A], y: Set[A]) = x ++ y
def zero = Set.empty[A]
}
sum(Set(1,2) :: Set(3,4) :: Nil)
//=> Set[Int] = Set(1, 2, 3, 4)
Однако этот вызов метода порождает конфликт, так как существует двусмысленность:
both method CanFoldSeqs in object ...
and method CanFoldSets in object ...
match expected type CanFold[Set[Int], B]
Итак, я хочу, чтобы компилятор выполнил поиск наиболее конкретного неявного между Any и my type. Целью является предоставление стандартных реализаций базовых типов, которые могут быть легко переопределены для более конкретных подтипов, без теневого копирования, которое является уродливым.
Возможно, я думаю об этом, но можно только надеяться: -)