Haskell Ожидаемый тип: IO Char Фактический тип: String

Question

Вот мой код:

mingle :: String -> String -> String 
    mingle (a:as) (b:bs) = ([a] ++ [b]) ++ mingle as bs 
    mingle [] [] = [] 
    main = putStrLn "Enter 1st String:" 
       >> getLine 
       >>= \a -> read a >> putStrLn "Enter 2nd String:" 
       >> getLine 
       >>= \b -> read b >>= mingle a b 

Ошибка:

MingleStrings.hs:10:45: 
    Couldn't match type ‘[]’ with ‘IO’ 
    Expected type: IO Char 
     Actual type: String 
    In the second argument of ‘(>>)’, namely ‘mingle a b’ 
    In the expression: read b >> mingle a b 

Я был под впечатлением, что читать будет в состоянии превратить тип IO к стандарт haskell type. Ни одна из других сообщений о работе с IO, казалось, не помогла.

Answer 1

read не возвращает IO типа, о чем свидетельствует его тип подписи:

λ> :t read 
read :: Read a => String -> a 

Что вы хотите сделать это:

main = putStrLn "Enter 1st String:" 
     >> getLine 
     >>= \a -> putStrLn "Enter 2nd String:" 
     >> getLine 
     >>= \b -> return $ mingle a b 

Поскольку mingle является чистой функцией, вы должны используйте return, чтобы ввести IO поверх этого. Также обратите внимание, что ваша функция mingle не обрабатывает все случаи. Поэтому вы можете это исправить.