Haskell字符串到使用单词的字符串列表

Question

我对 Haskell 比较陌生，目前正在使用 LearnYouAHaskell。 我正在尝试获取一个由空格分隔的字符串，并将其分解为一个较小的字符串列表。 我目前的计划：

main = do 
    putStrLn "Insert a string to convert: "
    -- Input string
    line <- getLine
    words line;

但在这种情况下，它告诉我我遇到了 IO 错误。 据我了解，getLine 是一个动作，所以由于这是不纯的，我必须将它绑定到“line”。 Line 是 getLine 的准确表示，它是一个 IO String。

但是，line 不应该是字符串吗？ 当我尝试在线使用单词时，它告诉我 “无法将预期类型“IO a0”与实际类型 [String] 匹配

好像 line 不是字符串。 此外，我可以在程序本身中使用 :t 行来查看它是否是正确的类型吗？

我为这个新手问题道歉，但我有点卡住了。

编辑：

我在 GHCI 中做了类似的事情，它告诉我我的类型实际上是一个普通的字符串。我不明白。

Prelude> line <- getLine
"Hello fellows"
Prelude> :t line
line :: String
Prelude> words line
["Hello","fellows"]

为什么这不起作用？

Answer 1

在haskell中如果你想返回一个值，你必须这么说：

main = do 
    putStrLn "Insert a string to convert: "
    -- Input string
    line <- getLine
    return (words line)

words line 不是 IO 操作，它是一个字符串列表，因此它不能是 do 块中的语句。

return :: Monad m => a -> m a，在这种情况下，我们可以将其专门化为a -> IO a，然后专门化为[String] -> IO [String]。 do 块中的每个语句都必须是 IO 语句。

---

更进一步：

如果你想编译你的程序，你应该有main :: IO()，这意味着你不应该返回你的列表。

例如，如果您想将这些字符串 process 转换为单个字符串然后输出，您可以这样做

process :: [String] -> String
process xss = "I don't know, some answer"

main = do 
    putStrLn "Insert a string to convert: "
    -- Input string
    line <- getLine
    putStrLn (process (words line))

虽然我个人会将最后一行写成putStrLn $ process.words $ line。

---

您在 GHCi 中的互动

Prelude> line <- getLine
"Hello fellows"
Prelude> :t line
line :: String
Prelude> words line
["Hello","fellows"]

正在使用 GHCi 实际上不只是在 IO monad 中运行的事实。在 GHCi 中，如果您的输入是 do 块中的有效行，它将运行，但如果它是纯代码，它将被评估和打印。 （这样的交互式解释器通常称为 REPL for Read-Eval-Print-Loop。）

Answer 2

好吧，问题是你想用words line做什么？

将 words line 作为 do 块内的一行什么都不做，但要让它工作，您必须使用 return 将其包装在 IO monad 中：

main = do 
    putStrLn "Insert a string to convert: "
    -- Input string
    line <- getLine
    return (words line);

无论如何，也许您想打印它？

main = do 
    putStrLn "Insert a string to convert: "
    -- Input string
    line <- getLine
    print (words line);