初学者。有一个名为 HHtml 的模块输出这个：
setDoc = "<!DOCTYPE = <html><head>"
setTitle = "<title>" ++ htmlTitle generator ++ "</title>"
setHeader = "<header>" ++ htmlHeader generator ++ "</header>"
setMeta = "<meta>" ++ htmlMeta generator ++ "</meta></head>"
setBody = "<body>" ++ htmlBody generator ++ "</body>"
setFooter = "<footer>" ++ htmlFooter generator ++ "</footer>"
setEOF = "</html>"
setHTML = [setDoc, setTitle, setHeader, setMeta, setBody, setFooter, setEOF]
主文件：
import HHtml
import System.IO
main = do
let content = mapM_ putStrLn setHTML
writeFile "index.html" content
然而，现在我看着它，我不断地得到这个Couldn't match type IO() with [Char]或任何变体。我理解错误消息，但我对修复它感到很困惑。谢谢指点！
mapM_ putStrLn setHTML是类型的动作IO ()，这你分配给一个名字content与一个let声明。执行时，此操作将打印 的每一行setHTML，不返回任何内容。您可以通过编写以下内容来执行此操作：
main = do
let content = mapM_ putStrLn setHTML
content
没有变量，这只是：
main = mapM_ putStrLn setHTML
但是content是一个不透明的值——你唯一可以用它做的事情是从执行它main，IO用>>=（或do符号）将它连接到其他操作，并将它存储在一个数据结构中（这在这里不是必需的）。特别是，它不“存储”页面的内容，它只是向运行时描述它应该如何打印该内容。无论如何，您注意到类型不匹配：writeFile接受 a String，又名[Char]，这显然不是IO ().
但是由于您显然想使用writeFile将每一行写入setHTML文件而不是标准输出，因此您不想要打印行的操作 - 您想要行本身，用换行符连接在一起。有几种可能的方法可以做到这一点，具体取决于您希望如何扩展此代码。
一种方法是使用unlines :: [String] -> String功能到线用换行串联在一起，然后用writeFile写所得String到"index.html"：
main = writeFile "index.html" (unlines setHTML)
如果您想将连接的内容放在一个变量中，您当然可以这样做：
main = do
let content = unlines setHTML
writeFile "index.html" content
（实际上unlines，setHTML如果您不需要setHTML成为[String].，您可以将调用移到定义中。）
现在writeFile将接受，content因为它是一个String值，而不是一个IO ()动作。这是一个很好的方法，因为它保持构建页面的逻辑纯，并且只IO在实际编写页面时使用。
或者，您可以采取更必要的方法，留在IO. 那么一个很好用的函数是withFile(from System.IO)，它具有以下类型：
FilePath -> IOMode -> (Handle -> IO r) -> IO r
它需要一个FilePath来打开，一个IOMode（例如ReadMode或WriteMode）来指示你是要读取还是写入句柄，以及一个接受句柄并执行一些操作并返回某种类型结果的函数；它返回一个打开文件的操作，运行你的函数，自动确保文件关闭（即使抛出异常），并返回结果。IOrIO
然后，您将以mapM_与已有方式类似的方式使用，将每一行打印到该句柄 - 为此，hPutStrLn :: Handle -> String -> IO ()其中写入特定句柄，而不是putStrLn写入标准输出。一个紧凑的版本：
main = withFile "index.html" WriteMode $ \file -> do
mapM_ (hPutStrLn file) setHTML
如果您不喜欢 lambda 的外观，或者更详细的版本：
main = withFile "index.html" WriteMode writeContents
where writeContents file = mapM_ (hPutStrLn file) setHTML
| 归档时间： |
|
| 查看次数： |
1034 次 |
| 最近记录： |