也许你正在寻找这样的东西:
foo :: [Int] -> [[String]] -> [[String]]
foo indices strings = map (strings !!) indices
Run Code Online (Sandbox Code Playgroud)
类型也可以推广到
foo :: [Int] -> [a] -> [a]
Run Code Online (Sandbox Code Playgroud)
因为我们不需要列表清单.
这不是非常有效.例如,如果我们可以假设指数正在增加,那么可以大大改善.