haskell - Haskell でのリストの連結

Question

任意のタイプの 2 つのリストを取り、1 つを返す関数 (つまりf:: [[a]] -> [[a]] -> [[a]]) が必要です。基本的に、2 つの入力リストの「連結」も生成します。

例えば

> f [[1,2,3], [123]] [[4,5,6], [3,7]]
[[1,2,3,4,5,6], [1,2,3,3,7], [123,4,5,6], [123,3,7]]

私は現在、これまでのところそれを持っています:

f _ [] = []
f [] _ = []
f (xs:xss) (ys:yss) = ((xs ++ ys) : [m | m <- f [xs] yss])

しかし、これは考慮されておらず、xss間違っています。助言がありますか？

Answer 1

これはデカルト積であるため、1 つのリスト内包表記を使用してすべてを行うことができます。

Prelude> let xs = [[1,2,3], [123]]
Prelude> let ys = [[4,5,6], [3,7]]
Prelude> [x ++ y | x <- xs, y <- ys]
[[1,2,3,4,5,6],[1,2,3,3,7],[123,4,5,6],[123,3,7]]

Answer 2

import Control.Applicative

(++) <$> [[1,2,3], [123]] <*> [[4,5,6], [3,7]]
[[1,2,3,4,5,6],[1,2,3,3,7],[123,4,5,6],[123,3,7]]

Answer 3

f l1 l2 = [x ++ y | x <- l1, y <- l2]

Answer 4

でAlternative：

import Control.Applicative

f :: (Applicative f, Alternative g) => f (g a) -> f (g a) -> f (g a)
f = liftA2 (<|>)

Answer 5

f a b = map concat . sequence $ [a,b]

任意の数のリストを結合するためにスケールアップします。