Почему этот список не работает должным образом?

Question

Я практикую использовать экстрактор:

scala> object LE { 
    | def unapply[A](theList: List[A]) = 
    | if (theList.size == 0) None 
    | else Some((theList.head, theList.tail)) 
    | } 
defined module LE 

Он работает для согласования одного элемента:

scala> List(0, 1, 2) match { 
    | case head LE more => println(head, more) 
    | } 
(0,List(1, 2)) 

Но не кажется, что работают для согласования более одного элемента:

scala> List(0, 1, 2) match { 
    | case head LE next LE more => println(head, more) 
    | } 
<console>:10: error: scrutinee is incompatible with pattern type; 
found : List[A] 
required: Int 

Мой экстрактор списков очень похож на экстрактор Stream Scala, который можно использовать следующим образом:

val xs = 58 #:: 43 #:: 93 #:: Stream.empty 
xs match { 
    case first #:: second #:: _ => first - second 
    case _ => -1 
} 

Итак, какая разница не позволяет использовать мой LE таким образом?

Answer 1

Проблема заключается в порядке выполнения. Для #::, так как он заканчивается :, Scala рассматривает его специально, связывая справа налево, а не слева направо (как это обычно бывает для любого другого оператора/типа, например, вашего LE). Следующие работы, как вы ожидаете:

scala> List(0, 1, 2) match { 
    | case head LE (next LE more) => println(head, more) 
    | } 
(0,List(2))