How about a semantic answer instead of an operational one?
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?
- Conal
-----Original Message-----
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]
On Behalf Of Abraham Egnor
Sent: Monday, January 17, 2005 1:31 PM
To: Jim Apple
Cc: [email protected]
Subject: Re: [Haskell] Why is getArgs in the IO monad?
It's not a constant; see, for example, System.Environment.withArgs
(http://www.haskell.org/ghc/docs/latest/html/libraries/base/System.Envir
onment.html#v%3AwithArgs).
Abe
On Mon, 17 Jan 2005 16:23:17 -0500, Jim Apple <[EMAIL PROTECTED]>
wrote:
> See subject. It seems that it would be constant through execution, and
> so could be just [String].
>
> Jim
>
> _______________________________________________
> Haskell mailing list
> [email protected]
> http://www.haskell.org/mailman/listinfo/haskell
>
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
