初学者。有一个名为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接受String，a.k.a。[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（来自System.IO），它有以下类型：
FilePath -> IOMode -> (Handle -> IO r) -> IO r
它需要一个FilePath打开，一个IOMode（例如ReadMode或WriteMode）来表明你是否正在读取或写入句柄，以及一个函数接受句柄并做一些IO并返回某种类型r的结果;它返回一个IO动作，它打开文件，运行你的函数，自动确保文件被关闭（即使抛出异常），并返回结果。
然后你将以类似的方式使用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