'do'構造の最後のステートメントは、式でなければなりません

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は何もありません。それは動作しません。モナドには何らかの結果が必要です。

あなたが最後にこのような何かを追加したい場合があります。また

return (tit, aut, yr) 

、あなたは空のタプル（単位）を返し、任意の有用な結果を持ってしたくない場合は：

return() 

Answer 3

最後の行は式ではないので削除してください。 putStrLnに渡す文字列に括弧を使用してください。あなたのコード取る場合

Answer 4

：

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 

との "翻訳" は "通常"（非do）表記（与えられたp = putStrLn "..."）：

addBook = 
    p >> getLine >>= (\tit -> 
     p >> getLine >>= (\aut -> 
      p >> getLine >>= (yr -> 

あなたは(yr ->で終わるされていますそれは意味をなさない。最後に

return() 

：あなたが行うには有益な何かを持っていない場合は、あなただけの空のタプルを返すことができ

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 
    return() 

あなたがautを取得する必要があり、なぜあなたは、おそらく自分自身に問う必要がありますし、 yrです。