I/O Haskell: Impossibile corrispondere al tipo previsto `IO a0 'con il tipo effettivo

Question

Sono nuovo ad Haskell e cerco di capire come eseguire correttamente l'IO.

le seguenti opere: 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" 

considerando che i seguenti risultati in errore di compilazione:

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'errore è qui:

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

quello che sta succedendo qui? Perché la prima versione funziona, mentre la seconda non funziona?

So che in Stack Overflow ci sono alcune domande simili come questa, ma nessuna di queste sembrava spiegarmi questo problema.

Answer 1

username è un String, ma promptUsername è un IO String. Devi fare qualcosa del tipo:

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

Answer 2

Ecco un'altra variante.

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 

Il problema è proprio questo promptUsername è un azione non una stringa. L'azione "restituisce una stringa", quindi ha il tipo IO String, ma non è di per sé una stringa. Poiché Entry x y richiede un String nella posizione x, qualcosa nella forma di un'azione non potrebbe essere più adatto di un numero o di un valore booleano. Quindi, nel definire la tua azione complessa, main, devi "estrarre" la stringa risultante dall'azione più semplice promptUsername in ogni caso di esecuzione e dare il String come primo argomento alla voce. Quindi esegui l'azione persist sul risultato Entry