如何在Haskell中使用map打印列表?

Haskell处理IO的方式与其他语言完全不同。

在Java这样的语言中, System.Out.println(3) 是一个不计算为值的语句,因此您甚至不能编写 x = System.Out.println(3); .

(print 3) 计算结果为3,在计算过程中,打印 3 . 所以说 (setq x (print 3)) x 到 三 还有印刷品 三

在哈斯克尔, putStrLn "3" 三 . 这样说 x = putStrLn "3" 十 去指挥部 输入“3” .

让我们看看一些类型。我们有

map :: (a -> b) -> [a] -> [b]
putStrLn :: String -> IO ()

因此,我们应该

map putStrLn :: [String] -> [IO ()]
map putStrLn array :: [IO ()]

换句话说, map putStrLn array 是一个“IO操作”列表,其结果是类型为的值 () (基本上,这意味着执行操作不会产生额外的信息)。

然而,为了写作

main :: IO ()
main = map putStrLn array

那是什么

main :: IO ()
main = do map putStrLn array

换言之,我们需要 map putStrLn 属于 IO () ,不是类型 [IO ()]

如果希望对列表中的每个元素执行操作,可以使用 for_ 函数,它具有类型 for_ :: Applicative f => [a] -> (a -> f ()) -> f () IO 是 Applicative ,尤其如此 for_ :: [String] -> (String -> IO ()) -> IO () 是一种 为了_ 我可以接受。代码看起来像

import Data.Foldable (for_)

array :: [String]
array = map show [1, 2, 3, 4]

main :: IO ()
main = for_ array putStrLn

这在命令式语言中相当于

for each x in array do {
    putStrLn x;
}