Pourquoi cela ne correspond-il pas?

Question

J'ai essayé d'implémenter 'concat' comme la 'concat' de Haskell dans Scala.

Mais je n'ai pas réussi à le faire.

$ scala 
Welcome to Scala version 2.7.7.final (Java HotSpot(TM) Client VM, Java 1.6.0_14). 
Type in expressions to have them evaluated. 
Type :help for more information. 
scala> 
scala> def concat(ll:List[List[Any]]):List[Any] = { ll match { case List(List()) => Nil; case (x::xs) => x ::: concat(xs) }} 
concat: (List[List[Any]])List[Any] 

scala> concat(List(1,2)::List(3,4)::Nil) 
scala.MatchError: List() 
    at .concat(<console>:67) 
    at .concat(<console>:67) 
    at .concat(<console>:67) 
    at .<init>(<console>:68) 
    at .<clinit>(<console>) 
    at RequestResult$.<init>(<console>:3) 
    at RequestResult$.<clinit>(<console>) 
    at RequestResult$result(<console>) 
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) 
    at sun.reflect.NativeMethodAccessorImpl.invoke(NativeM... 

scala> List(1,2)::List(3,4)::Nil 
res47: List[List[Int]] = List(List(1, 2), List(3, 4)) 

Cette erreur est-elle due au bogue de Scala ou non?

Merci.

Answer 1

Votre correspondance ne comprend aucun cas pour la liste vide. Vous avez un cas List (List()) (peut-être mieux écrit comme List (Nil)) et un cas pour une liste non vide. Si vous ajoutez "case Nil => Nil", cela fonctionne.

scala> def concat(ll:List[List[Any]]):List[Any] = { ll match { case List(Nil) => Nil; case (x::xs) => x ::: concat(xs); case Nil => Nil }} 
concat: (List[List[Any]])List[Any] 

scala> concat(List(1,2)::List(3,4)::Nil) 
res0: List[Any] = List(1, 2, 3, 4) 

Randall Schulz