哈斯克爾與IO單子錯誤，從IO基本型

Question

我有這樣的功能：

onData :: IO ([Float]) -> IO() 
onData vals = 
    do 
    let res = liftM fsum vals 
    putStrLn " * Processing ... " 
    putStrLn res 
    putStrLn " * Sum : " 
    putStrLn " * Done Processing" 
    return() 

    fsum :: [Float] -> Float 
    fsum []  = 0 
    fsum (x:xs) = x + fsum(xs) 

而這個功能，我在「FSUM」呼叫得到一個錯誤。我錯過了什麼？我只想要返回的值。

HaskellParseData.hs:20:14: 
    Couldn't match expected type `[Char]' with actual type `IO Float' 
    Expected type: String 
     Actual type: IO Float 
    In the first argument of `putStrLn', namely `res' 
    In a stmt of a 'do' expression: putStrLn res 

Answer 1

liftM fsum vals有類型IO Float。你給它起一個名字let res = ...，但後來試圖用它作爲Float。你應該綁定它來代替，作爲生產所需的一個Float，使用<-：

res <- liftM fsum vals 

這將是更地道的onData採取[Float]代替;您可以對在其他地方生成此數據的操作進行排序。然後，你可以簡單地使用：

let res = fsum vals 

Answer 2

GHC從putStrLn推斷res必須是String。

將putStrLn res更改爲putStrLn $ show res。

（什麼ehird說的也是如此。）