'do'结构中的最后一个语句必须是表达式Haskell

Question

基于其他类似的问题,我发现我认为我的问题与缩进有关,但我已经搞砸了很多但仍然无法弄明白.

addBook = do
    putStrLn "Enter the title of the Book"
    tit <- getLine
    putStrLn "Enter the author of "++tit
    aut <- getLine
    putStrLn "Enter the year "++tit++" was published"
    yr <- getLine

Answer 1

在你的情况下,它不是缩进; 你真的用一些不是表达的东西完成了你的功能. yr <- getLine- 在此之后你期望发生什么yr,或者aut就此而言？他们只是晃来晃去,没用.

可以更清楚地说明这是如何转换的:

addBook = putStrLn "Enter the title of the Book" >>
          getLine >>= \tit ->
          putStrLn "Enter the author of "++ tit >>
          getLine >>= \aut ->
          putStrLn "Enter the year "++tit++" was published" >>
          getLine >>= \yr ->

那么,你想在最后一箭之后得到什么？

Answer 2

想想的类型addBook.它在IO a哪里a......什么都没有.这不起作用.你的monad必须有一些结果.

你可能想在最后添加这样的东西:

return (tit, aut, yr)

或者,如果您不想获得任何有用的结果,请返回一个空元组(单位):

return ()