タプルのリストをhaskellの正規リストに変換するには？

Question

タプル(a,a)のリストをaのリストに変換したいと思います。これは私が持っているもので、これまで

map (\(x,y) -> [x,y]) [(1,4),(2,5)] 
> [[1,4],[2,5]] 

しかし、私がしたいことはある

> [1,4,2,5] 

Answer 1

あなたが取る必要がある唯一の余分なステップは、concatにあるenateとリスト、：

concat (map (\(x,y) -> [x,y]) [(1,4),(2,5)]) 

ここでconcat :: [[a]] -> [a]は、リストのリストをまとめて1つのリストにします。

このような構造が頻繁に発生するので、それがより便利になり機能があります：concatMap :: (a -> [b]) -> [a] -> [b]：

concatMap (\(x,y) -> [x,y]) [(1,4),(2,5)] 

ます。またlist comprehensionを使用し、それが好きで書くことができます：

dataがある

[z | (x,y) <- data, z <- [x,y]] 

あなたの初期データのリスト。

Answer 2

あなたが記述しているのは、共通のHaskellパターンです！

1. 各要素
2. のためのリストを生成する関数を使用して、リスト
3. を取るには、1つのリストに参加します。それはリストである必要はありません

、

1. は、各要素
2. のための新たなコンテナを生成する関数を使用した容器
3. を取り、容器に参加。リストのケースについては

、この関数の型が

[a] -> (a -> [a]) -> [a] 

はのはmは、コンテナ型であるaのm aのコンテナを呼ぼうことになります。この場合、私たちは持っています

m a -> (a -> m a) -> m a 

この機能は>>=です！これを中置演算子として使用します。

Prelude> [(1,4),(2,5)] >>= \(x,y) -> [x,y] 
[1,4,2,5] 

...ここで、コンテナは、2つのレイヤーを1つのレイヤーに「折りたたむ」ことをサポートする必要があります。これはモナドです。

a >>= fは、Willem Van Onsemの示唆通り、concatMap f aと同じです。