Haskell IO monad и сделайте обозначение

Question

Следующий снимок Haskell не будет компилироваться, и я не могу понять, почему.

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