튜플 목록을 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]은 목록의 목록을 단일 목록으로 연결합니다. 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

당신이 설명하는 것은 일반적인 하스켈 패턴입니다!

1. 는
2. 은 하나의리스트로 참여 각 요소에 대해 목록을 생성하는 기능을 사용하여 목록
3. 을 가져 가라.

그것은리스트가 될 필요가 없습니다,

1. 는
2. 가 컨테이너에 참여 각 요소에 대해 새 컨테이너를 생성하는 기능을 사용하여 컨테이너
3. 을 가져 가라.
목록 케이스를 들어

,이 기능의 유형은

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

이의이 m 컨테이너 유형입니다 a의 m a의 컨테이너를 부르 자 할 것이다. 이 경우, 우리는

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

이 기능은 >>= 인 것이다! 중위 연산자로 사용합니다. 컨테이너가 하나 개의 층으로 2 층 "붕괴"를 지원하는

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

.... 이것은 모나드입니다.

a >>= f은 Willem Van Onsem에서 제안한대로 concatMap f a과 같습니다.