在Haskell中,当你只传递一个列表时,map函数意味着什么？

Question

在我调试的Haskell项目中,代码中的实例map仅使用一个参数 - 列表 - 被传递.

例如

printReports :: [Report] -> IO ()
printReports = putStrLn . unlines . map show

和

printRuns' :: [Run] -> IO ()
printRuns' = putStrLn . unlines . map showRecipes'

map在这种情况下意味着什么/做什么？

Answer 1

地图类型:

map :: (a -> b) -> [a] -> [b]

所以,你必须提供从功能a到b和类型的列表a.

在您的示例中,函数已经给出(show和showRecipes'),因此,您只需要提供printReports和printRuns'列表.

那里发生的事情称为部分应用函数,请参见 http://www.haskell.org/haskellwiki/Partial_application

Answer 2

正如其他人所说,这map show是一个部分应用的功能,阅读它是一个好主意.但是你给出的代码也是无点编程风格的一个例子,你可能更容易理解它.该函数printReports也可以写成

printReports xs = (putStrLn . unlines . map show) xs

或者,等效地,

printReports xs = putStrLn . unlines . map show $ xs

一般来说,以下所有内容都是等效的:

myFunction x y z = someExpression x y z
myFunction x y = someExpression x y
myFunction x = someExpression x
myFunction = someExpression

这有点过于简单了,但它会让你开始.