Pourquoi ne peut pas résoudre le type

Question

je suit foncteur exemple:

trait Functor[F[_]] { 
    def map[A, B](fa: F[A])(f: A => B): F[B] 
} 

object Functor { 
    implicit val listFunctor: Functor[List] = new Functor[List] { 
    def map[A, B](fa: List[A])(f: (A) => B): List[B] = fa.map(f) 
    } 
} 

Functor.listFunctor.map(List(1,2,3,4))(_ + _) 

Le compilateur Plaindre sur la dernière ligne:

Error:(29, 47) missing parameter type for expanded function ((x$1: <error>, x$2) => x$1.$plus(x$2)) 
Functor.listFunctor.map(List(1,2,3,4))(_ + _) 
            ^

Qu'est-ce que je fais mal?

Answer 1

_ + _ est une fonction prenant deux arguments et retournant leur somme, ce n'est pas ce que map attend. Essayez plutôt ce qui suit:

Functor.listFunctor.map(List(1,2,3,4))(i => i + i)