リストを適当な長さの２つのリストに分割するにはどうやるのがベストなのでしょうか？

Question

何回も呼び出す関数の中で、リストxs (length xs = l) を xs = ys ++ zs (length ys = m ,length zs = n, m+n)のように２つに分割したいのです.
whereの中で、パターンマッチで一行でパパッとやるにはどうすれば良いのでしょうか？

Answer 1

こんな問題はHoogleで検索したら楽かもしれません。

「リストxs (length xs = l) を xs = ys ++ zs (length ys = m ,length zs = n, m+n)のように２つに分割したい」

関数シグネチャ（と仮定義）にしたらこうなります

f :: Int -> [a] -> ([a], [a])
f m xs = (ys, zs) where ys = ??; zs = ??

（その m + n の限定は Haskell に制約するのはまだ難しいですが、Idris ではできます。）

[Hoogle](https://hoogle.haskell.org/?hoogle=Int -> [a] -> ([a]%2C [a])) でシグネチャを検索したら、splitAt が検索結果に見えます。

splitAt :: Int -> [a] -> ([a], [a]) 

（Int と [a] の位置を逆にしても大丈夫です）

そこから、ソースも読めちゃいます！歴史をちょっと略しますと、splitAt の定義は簡単です：

splitAt n xs = (take n xs, drop n xs)

こちらもパッタンマッチではありませんが、定義を直接に使えてもいいです。

...
  where
    (ys, zs) = (take n xs, drop n xs)

Answer 2

パターンマッチのみでそれを行うのは不可能ですが、splitAt関数を使えばやりたいことは一行で実現できるかと思います。

????のように使います。

  ...
where
  (ys, zs) = splitAt m xs