haskell - 无法使用 IO Monad 打印到文件

Question

你好，我已经完成了我的 JSon 类型，我正在尝试将其写入文件。我可以从前奏中执行此操作，但在使用 IO Monad 时无法执行此操作。我收到以下错误:

 Main.hs:13:24: error:
    * Couldn't match type `Char' with `[Char]'
      Expected type: String
        Actual type: Char
    * In the second argument of `writeFile', namely `val'
      In a stmt of a 'do' block: writeFile out val
      In the expression:
        do val <- renderJValue sample
           writeFile out val
   |
13 |          writeFile out val
   |                        ^^^

主要

 module Main where
        import Jlib
        import Put
        import Data.Typeable

        import System.Environment

        out="data.txt"

        main::IO()
        main=do
             val<-renderJValue sample
             writeFile out val

为什么这在 IO Monad 中不起作用，因为前奏中的 renderJValue 示例 工作正常。

Jlib.hs

data JValue=JString String
                |JNumber Double
                |JBool Bool
                |JNull
                |JObject [(String,JValue)]
                |JArray [JValue]
                deriving (Eq,Ord,Show)

Put.hs

sample=JArray[
                    JObject [("name",JString "adita"),("age",JNumber 13)],
                    JObject [("name",JString "dan"),("kids",JNumber 3)] ,
                    JNumber 3,
                    JBool False,
                    JString "Howdy"
                    ]

P.S renderJValue 返回一个字符串

P.S:如果我开始前奏，我会加载模块并渲染它起作用的值:

Prelude System.Environment Put> :load Put
Ok, two modules loaded.
Prelude System.Environment Put> renderJValue sample
"[{name:adita,age:13.0},{name:dan,kids:3.0},3.0,False,Howdy]"

Answer 1

您在这里使用renderJValue示例，就好像它是一个IO String:

main :: IO()
main=do
     <b>val <- renderJValue sample</b>
     writeFile out val

但它实际上是一个带有签名 renderJValue::JValue -> String 的函数(假设它是一个类似于 this one 的函数)。所以不涉及IO。在这种情况下，我们不使用箭头表示法。

我们可以调用该函数“内联”:

main :: IO()
main = do
     writeFile out <b>(renderJValue sample)</b>

或更短:

main :: IO()
main = writeFile out (renderJValue sample)

但是如果表达式相当长，这可能会变得非常难看。在这种情况下，我们可以决定使用 let 语句。

您可以通过删除 putStrLn 来解决此问题:

main :: IO()
main = do
    <b>let</b> val <b>=</b> renderJValue sample
    writeFile out val