Haskell IO monad and do notation

Question

下面的Haskell snippit不會編譯，我找不出原因。

runCompiler :: TC -> IO() 
runCompiler tc = let cp' = cp in 
    do 
     cp' 
     return() 
    where 
    cp = compileProg tc 

我從GHCI收到以下錯誤：

Couldn't match expected type `IO a0' with actual type `String' 
    In a stmt of a 'do' block: cp' 
    In the expression: 
     do { cp'; 
      return() } 
    In the expression: 
     let cp' = cp 
     in 
     do { cp'; 
      return() } 

任何想法怎樣做才能讓它編譯。我不明白爲什麼它不會接受（）作爲給定的最終值。

Answer 1

當使用do符號測序兩個語句：

do 
    action1 
    action2 

相同action1 >> action2

自>>已鍵入Monad m => m a -> m b -> m b既action1和action2應該是一元值。

看來你compileProg功能有類型TC -> String，而編譯器期望它是TC -> IO a一些a，因爲你是在do符號使用它。

您可以使用let

do 
    let _ = compileProg tc 
    return() 

得到它的編譯。

如果你想輸出返回的字符串，你可以使用putStrLn或print：

do 
    putStrLn (compileProg tc) 
    return() 

因爲putStrLn的類型爲String -> IO()可以刪除return()：

do 
    putStrLn (compileProg tc) 

事實上runCompiler可簡寫爲

runCompiler :: TC -> IO() 
runCompiler = putStrLn . compileProg