인덱싱 [문자열]] 하스켈

Question

나는, 인덱스 [Int] 및 [[String]]에있는 지금은 인덱스에 해당하는 [String] 유지하려면 :

[0,1,4] 및

[[a,a,a],[b,b,b],[c,c,c],[d,d,d],[e,e,e],[f,f,f]] 줄 것을 [[a,a,a],[b,b,b],[e,e,e]]

그래서 나는이 작업을 수행 할 수있는 방법을 [Int] -> [[String]] -> [[String]]

?

foo :: [Int] -> [[String]] -> [[String]] 
foo indices strings = map (strings !!) indices 

유형 : x는 [[문자열]]이며, y는 [지능]

Answer 1

아마도이 같은 뭔가를 찾고있다 어디가

map (!!) (x y)을 시도

또한 일반화 될 수있다.

foo :: [Int] -> [a] -> [a] 

우리는 목록이 필요하지 않기 때문에 f-lists.

이것은 대단히 효율적이지 않습니다. 지표가 증가하고 있다고 가정 할 수 있다면 크게 개선 될 수 있습니다.

Answer 2

목록 작성을 사용하는 것이이 작업에 대한 표현적인 방법이라고 생각합니다.

getStrings :: [Int] -> [[String]] -> [[String]] 
getStrings is css = [cs | (ix,cs) <- zip [0..] css, ix `elem` is] 

*Main> gs [0,1,4] [["a","a","a"],["b","b","b"],["c","c","c"],["d","d","d"],["e","e","e"],["f","f","f"]] 
[["a","a","a"],["b","b","b"],["e","e","e"]] 

@ Centril의 의견에 따르면, 내가 동의해야 할 것은 동일한 것의 모나드 버전입니다.

gs :: [Int] -> [[String]] -> [[String]] 
gs is css = zip [0..] css >>= \(ix,cs) -> guard (ix `elem` is) >> return cs 

*Main> gs [0,1,4] [["a","a","a"],["b","b","b"],["c","c","c"],["d","d","d"],["e","e","e"],["f","f","f"]] 
[["a","a","a"],["b","b","b"],["e","e","e"]]