Scalaのリストのパターンマッチング

Question

Scalaのリストのパターンマッチングに関して少し混乱します。

たとえば、

val simplelist: List[Char] = List('a', 'b', 'c', 'd') 

    //> simplelist : List[Char] = List(a, b, c, d) 

    def simple_fun(list: List[Char]) = list match { 
      case (x:Char) :: (y:List[Char]) => println(x) 
      case _ => Nil 
    }             
    //> simple_fun: (list: List[Char])Any 

    simple_fun(simplelist)        

    //> a 
    //| res0: Any =() 

これは現在、1行の出力のみを出力します。 Listの各要素に対してパターンマッチが実行されませんか？

EDIT：コンパイルエラーを修正し、REPLからの出力をコピーしました。

Answer 1

何らかの方法で繰り返しsimple_funを呼び出している場合を除き、そこにあるものは最初の要素と一致します。それは全体のリストに一致するように取得するには、このように、再帰的に自分自身を呼び出すためにsimple_funを得ることができます：Scalaのコンパイラはそれらを推測することができますよう

val simplelist: List[Char] = List('a', 'b', 'c', 'd') 

def simple_fun(list: List[Char]): List[Nothing] = list match { 
    case x :: xs => { 
    println(x) 
    simple_fun(xs) 
    } 
    case _ => Nil 
} 

注意私はまた、であなたを残して、タイプの一部を残してきました複雑で読みにくいコードです。

小さいノートとして、そのような機能の中で繰り返しprintlnを繰り返し呼び出すことは、特に機能的ではありません。すべてが副作用です。より慣用的なアプローチは、関数をリストを記述する文字列で構成し、次にprintlnへの単一の呼び出しで出力することで、副作用が単一の明確な場所に保持されるようにします。このような何かが一つのアプローチのようになります。

def simple_fun(list: List[Char]):String = list match { 
    case x :: xs => x.toString + simple_fun(xs) 
    case Nil => "" 
} 

println(simple_fun(simple_list)) 

Answer 2

私は次のように動作するはずだと思う：

def flatten(l: List[_]): List[Any] = l match { 
    case Nil => Nil 
    case (head: List[_]) :: tail => flatten(head) ::: flatten(tail) 
    case head :: tail => head :: flatten(tail) 
} 

最初の行は、無記号の一致であるので、我々は何が何も返さない見つからない場合。 2行目はList of Listsを特定し、flattenメソッドを呼び出してリストのリストをフラット化します。