[Haskell] Re: Why is getArgs in the IO monad?
japple at freeshell.org
Tue Jan 18 01:28:08 EST 2005
Conal Elliott wrote:
> If getArgs had type [String], then its denotation must be a (lazy) list
> of (lazy) sequences of characters (extended by bottom). For instance,
> the expression (words "hello world") denotes the list ["hello","world"].
> What list would "getArgs" denote?
I don't think I understand your (rhetorical) question.
It seems that, looking out at the world from main, the args passed to
main and the compilation happen at the same time (before, long long
ago). What motivation would we have for treating them differently?
More information about the Haskell