niejawny rozdzielczości parametr dla wyższych typów kinded

Question

Rozważmy następujący kod:

object foo { 

    trait Bar[Q[_]] 

    implicit object OptionBar extends Bar[Option] 

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() 

    def main(args: Array[String]) { 
     test(Some(42): Option[Int]) //??? 
    } 
} 

To działa, ale muszę wpisać Niektórzy (42), a opcja [Int], inny niejawny obiekt OptionBar nie będzie rozwiązany (ponieważ oczekuje się paska [Część]). Czy istnieje sposób na uniknięcie jawnego wpisywania, tak aby uzyskać niejawny obiekt OptionBar w teście, nawet jeśli test jest podawany z parametrem Some lub None?

[Wyjaśnienie]

• użyłem opcji tutaj tylko jako przykład, powinien także działać, jeśli mam Bar dla klasy abstrakcyjnej itp
• Roztwór powinien także działać, gdy inne, niezwiązane bary w zakresie, powiedzmy implicit object listBar extends Bar[list]

[Aktualizacja]

wydaje się, że co baru parametru kontrawariantny robi t podstęp:

object foo { 

    trait Bar[-Q[_]] //<--------------- 

    implicit object OptionBar extends Bar[Option] 
    implicit object ListBar extends Bar[List] 

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() 

    def main(args:Array[String]) { 
    test(Some(42)) 
    } 
} 

Oczywiście jest to poważne ograniczenie możliwości w Bar, więc nadal mam nadzieję na lepszą odpowiedź.

Answer 1

To nie będzie działać we wszystkich przypadkach, ale jak wspomniano, można spróbować to:

object foo { 
    trait Bar[Q[_]] 

    implicit object OptionBar extends Bar[Option] 

    def test[T, C[_], D](c: D)(implicit bar: Bar[C], ev: D <:< C[T]) =() 

    def main(args: Array[String]) { 
    test(Some(42)) //??? 
    } 
} 

Co ciekawe, to nie wywnioskować, choć wyraża to samo:

def test[T, C[_], D <: C[T]](c: D)(implicit bar: Bar[C]) =() 

Aby dowiedzieć się więcej o <:< patrz:

• What do <:<, <%<, and =:= mean in Scala 2.8, and where are they documented?
• <:< operator in scala

Answer 2

To dlatego Some(42) jest bardziej specyficzny typ niż Option[Int]. Jest to Some[Int]. Zobacz alternatywne kodowanie poniżej:

object foo { 

    trait Bar[Q[_]] 

    implicit object OptionBar extends Bar[Option] 

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() 

    def main(args: Array[String]) { 
     test(Option(42)) 
    } 
}