Qual è il modo idiomatico per modellare la comprensione della sequenza di corrispondenze?

Question

val x = for(i <- 1 to 3) yield i 
x match { 
    case 1 :: rest => ... // compile error 
} 

constructor cannot be instantiated to expected type; found : collection.immutable.::[B] required: scala.collection.immutable.IndexedSeq[Int]

Questo è lo stesso problema come MatchError when match receives an IndexedSeq but not a LinearSeq.

La domanda è, come fare nel modo giusto? Aggiungere .toList ovunque non sembra giusto. E creare un proprio estrattore che gestisca ogni Seq (come descritto nella risposta dell'altra domanda) porterebbe a un disastro se tutti lo farebbero ...

Immagino che la domanda sia, perché non posso influenzare cosa il tipo di ritorno delle comprensioni di sequenze è, o: perché non è una parte estrattore di questo tipo generalizzata Seq della libreria standard?

Answer 1

Beh, è ​​possibile pattern-adattarsi a qualsiasi sequenza:

case Seq(a, b, rest @ _ *) => 

Ad esempio:

scala> def mtch(s: Seq[Int]) = s match { 
    |  case Seq(a, b, rest @ _ *) => println("Found " + a + " and " + b) 
    |  case _ => println("Bah") 
    | } 
mtch: (s: Seq[Int])Unit 

Allora questo corrisponderà qualsiasi sequenza con più di (o uguale a) 2 elementi

scala> mtch(List(1, 2, 3, 4)) 
Found 1 and 2 

scala> mtch(Seq(1, 2, 3)) 
Found 1 and 2 

scala> mtch(Vector(1, 2)) 
Found 1 and 2 

scala> mtch(Vector(1)) 
Bah