Haskell IO: Không thể khớp với loại mong đợi `IO a0 'với loại thực tế

Question

Tôi mới sử dụng Haskell và tôi cố gắng hiểu cách thực hiện IO chính xác.

Các công trình sau ok:

main = do 
    action <- cmdParser 
    putStrLn "Username to add to the password manager:" 
    username <- getLine 
    case action of 
    Add -> persist entry 
     where 
     entry = Entry username "somepassword" 

Trong khi kết quả như sau do lỗi biên dịch:

main = do 
    action <- cmdParser 
    case action of 
    Add -> persist entry 
     where 
     entry = Entry promptUsername "somepassword" 

promptUsername = do 
    putStrLn "Username to add to the password manager:" 
    username <- getLine 

Lỗi là ở đây:

Couldn't match expected type `IO b0' with actual type `[Char]' 
Expected type: IO b0 
    Actual type: String 
In the expression: username 
[...] 

gì đang xảy ra ở đây? Tại sao phiên bản đầu tiên hoạt động, trong khi phiên bản thứ hai thì không?

Tôi biết rằng trong Stack Overflow có một số câu hỏi tương tự như thế này, nhưng không ai trong số họ dường như giải thích vấn đề này với tôi.

Answer 1

username là String, nhưng promptUsername là IO String. Bạn cần phải làm điều gì đó như:

username <- promptUsername 
let entry = Entry username "somepassword" 
persist entry 

Answer 2

Đây là một biến thể khác.

main = do 
    action <- cmdParser 
    case action of 
    Add -> do username <- promptUsername 
       let entry = Entry username "somepassword" 
       persist entry 

promptUsername :: IO String 
promptUsername = do 
    putStrLn "Username to add to the password manager:" 
    getLine 

-- fake definitions to make things compile 

persist :: Entry -> IO() 
persist = print 

cmdParser :: IO Add 
cmdParser = fmap (const Add) getLine 

data Add = Add deriving Show 
data Entry = Entry String String deriving Show 

Vấn đề là chỉ là promptUsername là một hành động không phải là một String. Hành động 'trả về một chuỗi', vì vậy nó có loại IO String, nhưng chính nó không giống như một chuỗi. Vì Entry x y yêu cầu một số String ở vị trí x, một cái gì đó có hình dạng của một hành động không thể phù hợp hơn so với số hoặc boolean có thể. Vì vậy, trong việc xác định hành động phức tạp của bạn, main, bạn phải 'giải nén' chuỗi đó sẽ là kết quả từ hành động đơn giản promptUsername trong mọi trường hợp thực thi và cung cấp cho đối số đầu tiên là một đối số đầu tiên. Sau đó, bạn thực hiện hành động persist trên kết quả Entry