haskell - 为什么 Haskell 中的 main 函数没有任何参数？

Question

我对 Haskell 有点陌生。我已经完成了一个或两个教程，但我没有太多经验。
Haskell 中的每个函数都是纯函数，这就是为什么没有 IO-monad 就不能有任何 I/O。
我不明白的是，为什么程序参数也必须是 IO Action ？
参数像函数一样传递给程序。
为什么不能像在函数中那样访问参数？
说清楚，我不明白，为什么 main 函数必须看起来像这样

main :: IO()
main = do
    args <- getArgs
    print args

而不是这个

main :: [String] -> IO()
main args = do
    print args

我看不出有任何原因，而且我在谷歌上找不到答案。

Answer 1

这是一种语言设计选择。两种方法都不比另一种更好。
Haskell 本来可以设计成具有 main任何一种。
当确实需要程序参数时，将它们作为函数参数传递给 main 会更方便。 .
当不需要程序参数时，将它们传递给 main有点麻烦，因为我们需要写一个更长的类型，以及一个额外的 _丢弃[String]争论。
此外，getArgs让人们可以在程序中的任何位置(在 IO 内)访问程序参数，同时将它们传递给 main , 只是, 可能不太方便，因为随后将被迫在程序中传递它们，这可能很不方便。
(题外话)对于它的值(value)，很久以前当我发现在 Java 中我们有 void main() 时，我对你的 react 也有类似的 react 。而不是 int main()就像在 C 中一样。然后我意识到在大多数程序中我总是写 return 0;最后，所以总是要求它是没有意义的。在 Java 中这是隐式默认值，当我们确实需要返回其他内容时，我们使用 System.exit() .即使这是在以前的语言(在这种情况下为 C)中完成的方式，新的语言也可以选择一种新的方式来提供相同的功能。