用输出函数haskell写文件答案

【问题标题】：writing file with output function haskell用输出函数haskell写文件
【发布时间】：2014-07-24 08:28:37
【问题描述】：

我想将程序的输出自动写入文件，但出现了一些错误。我是haskell的新手。

一个非常简单的例子：

func =  do
writeFile "file.txt" show(calc)

calc = do return (1+1)

我想要这样的东西。当我执行该函数时，创建一个文件并在其上写入

错误是：

ERROR "test.hs":5 - 输入中的语法错误（意外的 `='）

谢谢。

【问题讨论】：

关于错误的问题，请始终在实际问题中包含错误，完整且未经编辑。请编辑您的问题以包含它们。
尝试从您的代码中删除 dos，因为它们目前是不必要的。 func 也带参数吗？
请注意，在 Haskell 中空格是有意义的（如 Python），因此您的制表需要正确才能正确解析您的程序。作为一般说明，制表通常表示它是前一行的延续。
@jtcwang Haskell 仅在您通过省略“{;}”字符选择加入时才对空格敏感，并不总是像 Python 那样。
@BoydStephenSmithJr。哦，对了，我没有想到它，因为没有人使用它。

标签： file haskell io

【解决方案1】：

这段代码有几个错误：

您应该删除dos 以简化func 和calc。从技术上讲，这不是错误，但您不应使用不必要的 dos，因为它们只会使您的代码混乱。
show 的类型为 Show a => a -> String，而 calc 的类型为 IO String。由于类型不匹配，您的程序将无法编译。

这是一个与编译功能相同的程序：

func :: IO () -- is an IO action
func = writeFile "file.txt" (show calc) -- removed the do

calc :: Integer -- has type integer, meaning "show" is able to operate on it
calc = 1+1 -- removed do and return

删除返回的原因是 return 在类 C 语言中的行为不类似于 return。 Haskell 中的return 将值包装在一个单子动作中，而在类 C 语言中，它只是返回表达式或变量的值作为函数的结果。我建议阅读 this 章节以了解更多信息，因为它很好地涵盖了 Haskell 的输入和输出。

【讨论】：

技术上，return 将值包装在 Monadic 动作中，而不仅仅是 IO。需要注意的是，return 只是基础库中定义的一个函数，它根本不是 Haskell 中的关键字。它的类型是return :: Monad m => a -> m a。