Question

初学者。得到了一个名为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]或与此有关的任何变体。我理解该错误消息，但是对于修复它感到很困惑。感谢您的指点！

Answer 1

mapM_ putStrLn setHTML是类型IO ()的动作，您正在使用content语句将其分配给名称let。执行该操作后，该操作将在setHTML的每一行中打印，不返回任何内容。您可以通过编写如下代码来执行此操作：

main = do
  let content = mapM_ putStrLn setHTML
  content

没有变量，就是这样：

main = mapM_ putStrLn setHTML

但是content是一个不透明的值，您唯一可以做的就是在main中执行 execute ，并将其加入其他IO动作中并使用>>=（或do表示法）并将其存储在数据结构中（此处不需要）。特别是，它不会“存储”页面的内容，而只是向运行时描述应该如何打印该内容。无论如何，您会注意到类型不匹配：writeFile接受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（来自System.IO），它具有以下类型：

FilePath -> IOMode -> (Handle -> IO r) -> IO r

需要FilePath才能打开，IOMode（例如ReadMode或WriteMode）才能表明您是要从句柄中读取还是向其写入，以及一个函数，它接受句柄并执行一些IO并返回某种类型r的结果；它会返回一个IO操作，该操作将打开文件，运行您的函数，自动确保文件已关闭（即使引发了异常），并返回结果。

然后，您将以与现有方式类似的方式使用mapM_将每一行打印到该句柄，为此，有hPutStrLn :: Handle -> String -> IO ()会写入特定的句柄，而不是{{ 1}}写入标准输出。精简版：

putStrLn

或者，如果您不喜欢lambda的外观，则可以使用更详细的版本：

main = withFile "index.html" WriteMode $ \file -> do
  mapM_ (hPutStrLn file) setHTML

Haskell writeFile

1 个答案: