Câu lệnh cuối cùng trong một cấu trúc 'do' phải là một biểu thức Haskell

Question

Dựa trên các câu hỏi tương tự khác mà tôi thấy mình thấy vấn đề của mình liên quan đến thụt đầu dòng, nhưng tôi đã làm điều đó rất nhiều và vẫn không thể hiểu được ngoài.

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

Trong trường hợp của bạn, nó không thụt lề; bạn thực sự đã hoàn thành chức năng của bạn với một cái gì đó không phải là một biểu thức. yr <- getLine - bạn mong đợi điều gì xảy ra với yr, hoặc cho rằng vấn đề aut, sau này? Họ chỉ lúng túng, không sử dụng.

Nó có thể rõ ràng hơn để chỉ ra cách để dịch:

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 -> 

Vì vậy, những gì đã làm bạn muốn có sau đó mũi tên cuối cùng?

Answer 2

Hãy suy nghĩ về loại addBook. Đó là IO a nơi a là ... không có gì. Điều đó không hiệu quả. Monad của bạn phải có một số kết quả.

Bạn có thể muốn thêm một cái gì đó như thế này ở cuối:

return (tit, aut, yr) 

Ngoài ra, nếu bạn không muốn có bất kỳ kết quả hữu ích, trả về một tuple trống (một đơn vị):

return() 

Answer 3

xóa dòng cuối cùng vì nó không phải là một biểu thức, sau đó sử dụng dấu ngoặc đơn cho các chuỗi bạn chuyển tới putStrLn.

Answer 4

Nếu bạn lấy mã của bạn:

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 

và "dịch" nó thành "bình thường" (phi do) ký hiệu (cho p = putStrLn "..."):

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

Bạn đang kết thúc với (yr -> điều đó không có ý nghĩa. Nếu bạn không có bất cứ thứ gì hữu ích để làm, bạn chỉ có thể trả về một tuple trống:

return() 

ở cuối:

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

Bạn có lẽ nên tự hỏi mình tại sao bạn cần để có được aut và yr.