recursive cat

リストのリストを引数にとって、連結する関数を定義します。

例えば、

[[1,2,3],[4],[5,6,7]]なるリストを与えたとき、[1,2,3,4,5,6,7]なるリストを返す関数

を定義

例によって、再帰的な定義...。

再帰定義によるリストのリストの連結定義

cat_recursive::[[a]] -> [a]

cat_recursive [] = []

cat_recursive (x:xs) = x ++ cat_recursive xs