[Haskell-cafe] Re: Why is getArgs in the IO monad?

In article <41ECD49F.9020601@imperial.ac.uk>, Keean Schupke wrote:

Surely both requirements can be satisfied if the programs arguments are made parameters of main:

main :: [String] -> IO ()

Keean.

Better yet, it should be an implicit parameter so as not to break existing programs. main :: (?args :: [String]) => IO () You could do the same with standard input and output. -- Ashley Yakeley, Seattle WA