haskell - 如何将读取的字符串和 IO 发送到用户定义的函数

Question

我正在尝试创建一个无限循环，将用户的输入发送到解析函数，该函数在输入有效字符串时读取字符串的内容

main :: IO ()
main = do
            putStrLn ("\n" ++ "This is blah :" ++ "\n" ++ "=================================")
            putStrLn ("Valid Inputs" ++ "\n" ++ "=================================")
            loop 

--Infinite Loop
---------------------           
loop :: IO()
loop = do 
            input <- getLine
            if input == ""
                then return()
                else do 
                    parse input
                    print input
                    loop



--Main Parsing Function (Does't work)
--------------------
--parse:: String -> String 
--parse (x:xs) = if x == 'a' then 'b':parse xs
               --else x:parse xs

我的问题是如何将用户输入发送到我的解析函数。我收到错误

IO t 在I 中说推断类型parse :: String -> String 将其更改为：

parse:: IO String -> String

然后给我另一个错误，说推断type [a]等等。

Answer 1

这条线

解析输入

返回一个字符串，但它应该返回IO“某物”，因为您在一个do-block 中。所以你可以改为写

 print (parse input)

您的parse功能不完整，您必须为[]

如果你想改变你的类型parse，那么它必须是String -> IO String。但这不是一种好的编程风格，因为在不需要杂质的地方，不应该有杂质:-)