Haskell IO：打印命令行参数

Question

我有这个程序，它只是打印出命令行参数。

echoArgs :: IO ()
echoArgs = do
        line <- getArgs
        print line

我想知道的是为什么当我输入时会失败：

echoArgs :: IO ()
echoArgs = do
            line <- getArgs
            putStrLn line

以及为什么当我将其更改为以下内容时它不起作用：

echoArgs :: IO String
    echoArgs = do
                line <- getArgs
                let line' = read line :: String
                putStrLn line'

Answer 1

因为

getArgs :: IO [String]

所以line in do { line <- getArgs ; ... } do { line <- getArgs ; ... }是

line    ::    [String]

但是putStrLn :: String -> IO ()需要一个String参数，而不是String的列表。

同样， read :: Read a => String -> a也需要一个String参数，而不是String s 参数的列表。

另请参阅： do notation 中的类型指南，In Vivid Colors 。

Answer 2

print从你给它的任何参数产生一个String 。

另一方面， putStrLn需要一个String作为参数。 （确实， print = putStrLn . show 。）同样， read需要一个String作为参数； 实际上，当您尝试执行的是序列化列表时，它会反序列化。

getArgs类型为IO [String] ，这意味着该line不是String ，但String和Show a => [a]都有一个Show实例，可以使用它print出一个String 。