¿Se requiere un identificador estable durante la coincidencia de patrones? (Scala)

Question

Tratando de producir una lista de tuplas que muestren la multiplicidad de factores primos ... la idea es hacer coincidir cada entero en una lista ordenada con el primer valor en una tupla, usando el segundo valor para contar. Probablemente podría hacerlo más fácilmente con takeWhile, pero meh. Por desgracia mi solución no compilará:

def primeFactorMultiplicity (primeFactors: List[Int]) = { 

    primeFactors.foldRight (List[(Int, Int)]()) ((a, b) => (a, b) match { 
     case (_, Nil)  => (a, 1) :: b 
     case (b.head._1, _) => (a, b.head._2 + 1) :: b.tail 
     case _    => (a, 1) :: b 
    }) 
    } 

Se dice "error: Identificador de estabilidad que requiere, pero b.head._1 encontró." Pero el cambio de la segunda línea case a la siguiente funciona bien:

 case (i, _) if (i == b.head._1) => (a, b.head._2 + 1) :: b.tail 

¿Por qué es esto, y por qué no puede hacer frente al compilador si hay una solución tan simple?

Answer 1

Una variable en un patrón captura el valor en esa posición; hace no hacer una comparación. Si la sintaxis funcionó, el resultado sería poner el valor de a en b.head._1, sobrescribiendo el valor actual. El propósito de esto es permitirle usar un patrón para extraer algo de una estructura compleja.

Answer 2

b.head._1 no es un nombre válido para el resultado del extractor (x, y) tupla

Tal vez puedas probar:

case (x, _) if x == b.head._1 => (a, b.head._2 + 1) :: b.tail