Scala inesperadamente no ser capaz de determinar el tipo de función ampliada

Question

Por qué, en Scala, teniendo en cuenta:

a = List(1, 2, 3, 4) 
def f(x : String) = { x } 

hace

a.map(_.toString) 

trabajo, pero

a.map(f(_.toString)) 

dar el error

missing parameter type for expanded function ((x$1) => x$1.toString) 

Answer 1

Bueno ... f() toma una cadena como parámetro. La construcción _.toString tiene el tipo A <: Any => String. La función f() espera un tipo de String, por lo que el ejemplo anterior no escribe check. Parece que Scala es amigable en este caso y le da al usuario otra oportunidad. El mensaje de error significa: "Según mi algoritmo de inferencia de tipo, esto no se compila. Ponga los tipos y podría, si es algo que no puedo inferir".

Debería escribir la función anónima a mano en este caso, es decir, a.map(n => f(n.toString)). Esto no es una limitación de la inferencia de tipo, sino del símbolo de comodín. Básicamente, cuando escribe a.map(f(_.toString)), el _.toString se expande a una función anónima dentro de los corchetes más cercanos que puede encontrar, de lo contrario, esto generaría una enorme ambigüedad. Imagine algo como f(g(_.toString)). ¿Esto significa f(g(x => x.toString)) o f(x => g(x.toString))? Peores ambigüedades surgirían para múltiples llamadas a funciones anidadas. Por lo tanto, el verificador de tipo Scala toma la solución más lógica, como se describió anteriormente.

Nitpick: la primera línea de su código debe ser val a = List(1,2,3,4) :).