Haskell“ \\ n”在IO字符串中顯示為字符串

Question

imP:: Int -> IO String    
imP n = do
x <- getLine
if n >= 0 then return ( (concat (replicate n " ")) ++ fun1 x) else return ( fun2 n x)
where
    fun1 [] = ""
    fun1 (x:xs)
        | isAlpha x = [x] ++ fun1 xs
        | otherwise = "\n" ++ fun1 xs
    fun2 n [] = ""
    fun2 n (x:xs)
        | isAlpha x = [x] ++ fun2 n xs
        | otherwise = "\n" ++ (concat (replicate (abs n) " ")) ++ fun2 n xs

我有這個代碼。 並給getLine輸入“ hello3mello”，它將返回：

"hello\nmello"

但是我需要：

"hello
 mello"

編輯：

<interactive>:32:9:                                                                                                                                               
Couldn't match type `IO String' with `[Char]'                                                                                                                 
Expected type: String                                                                                                                                         
  Actual type: IO String                                                                                                                                      
In the first argument of `putStr', namely `(imP 3)'                                                                                                           
In the expression: putStr (imP 3) 

Answer 1

putStr的類型是putStr String -> IO () ，您不能將其應用於imP 3 :: IO String因為putStr期望使用純String而不是IO String 。 這正是GHC的錯誤消息所報告的。

我以為您不熟悉monad，因此建議閱讀許多教程中的任何一個。 同時，使用\\x -> imP x >>= putStr