小编mtt*_*pgn的帖子

我正在从Haskell Wikibook看一个简单的IO程序。该页面上显示的构造效果很好，但是我试图理解“如何”。

writeChar下面的函数采用一个文件路径（作为字符串）和一个字符，并将该字符写入给定路径的文件中。该函数使用括号来确保文件正确打开和关闭。在方括号中进行的三个计算中，“在中间进行运算”（据我所知）是一个lambda函数，可返回的结果hPutChar h c。

现在，hPutChar它本身具有的声明hPutChar :: Handle -> Char -> IO ()。这是我迷路的地方。我似乎已经过关h了hPutChar。我希望一个句柄能以某种方式引用打开的文件fp，但相反，它似乎是递归调用lambda函数\h。我没有看到这个lambda函数调用自身递归是如何知道写c在文件fp。

我想了解为什么不应该阅读此函数的最后一行(\h -> hPutChar fp c)。尝试以这种方式运行它会导致“无法将类型'[Char]'与'Handle'匹配”，鉴于hPutChar期望使用Handle数据类型而不是字符串，因此我认为这是明智的。

import Control.Exception
writeChar :: FilePath -> Char -> IO ()
writeChar fp c =
    bracket
      (openFile fp WriteMode)
      hClose
      (\h -> hPutChar h c)