resolución parámetro implícito para los tipos más altos kinded

Question

Considere el siguiente código:

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]) //??? 
    } 
} 

Esto funciona, pero necesita escribir el Algunos (42) como opción [Int], de lo contrario el objeto implícito OptionBar no será resuelto (porque en su lugar se espera una barra [Algunos]). ¿Hay alguna manera de evitar el tipado explícito, de forma que obtengo el objeto OptionBar implícito en prueba incluso si realizo la prueba con Some o None?

[Aclaración]

• que usa la opción aquí sólo como ejemplo, también debería funcionar si tengo un Bar para una clase abstracta etc.
• La solución también debe trabajar cuando otros no relacionados Bares, son en su alcance, decir implicit object listBar extends Bar[list]

[actualización]

parece que hacer contravariant parámetro de barra hace t que truco:

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)) 
    } 
} 

Pero por supuesto, esto es una grave limitación de las posibilidades de bar, así que todavía hay esperanza para una mejor respuesta.

Answer 1

No va a trabajar en todos los casos, pero como se ha dicho, puede intentar esto:

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)) //??? 
    } 
} 

Curiosamente, esto no supone, a pesar de que expresa la misma cosa:

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

Para obtener más información sobre <:<, consulte:

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

Answer 2

Eso es porque Some(42) es un tipo más específico que Option[Int]. Es un Some[Int]. Vea la codificación alternativa a continuación:

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)) 
    } 
}