如何在zip生成的列表上折叠io操作以打印2列?

Question

我已经看到了几个关于使用foldl和IO的问题，但似乎没有一个能为我的情况提供解决方案。

我只是尝试输出两列数字。

0 256
1 256
2 256
...
256 256
0 255
1 255
2 255
3 255
4 255

我尝试了以下内容，但我只能打印一行而不是整列：

zipMerge :: [a] -> [b] -> [(a,b)]
zipMerge [] _      = []
zipMerge _  []     = error "second list cannot be empty"
zipMerge (a:as) bs = (zip (replicate (length bs) a) bs) ++ (zipMerge as bs)
-- foldl :: (a -> b -> a) -> a -> [b] -> a
printPixel :: IO() -> (Int, Int) -> IO()
printPixel _ (i, j) = putStrLn (show i) ++ " " ++ (show j)
printPixels :: [(Int, Int)] -> IO()
printPixels colors = foldl printPixel (return ()) colors
printGradient :: IO()
printGradient = do
putStrLn "255"
let is = [0..256]
js = [256,255..0]
printPixels (zipMerge js is)

我做错了什么？

Answer 1

在这里，折叠绝对是矫枉过正。fold 的想法是在遍历列表时保持某种状态，但在您的情况下，没有要保留的状态：您只需要按顺序为每个元素执行效果，并且独立于其他元素。

为此，请使用mapM_：

printPixel :: (Int, Int) -> IO()
printPixel (i, j) = putStrLn $ (show i) ++ " " ++ (show j)
printPixels :: [(Int, Int)] -> IO()
printPixels colors = mapM_ printPixel colors

或者它的孪生for_，这是一回事，但参数顺序相反(和较弱的约束(，这使您可以将效果作为lambda表达式提供，但没有括号，使其看起来几乎像类C语言中的for结构：

printPixels :: [(Int, Int)] -> IO()
printPixels colors = for_ colors $ (i, j) -> putStrLn $ (show i) ++ " " ++ (show j)