Re: [Haskell-beginners] general structuring of "foreach" logic in IO

getArgs is not pure in the presence of withArgs. This is actually what we want; testing/exercising code that uses getArgs would be a pain otherwise. On Mon, Apr 14, 2014 at 11:42 AM, Brandon Allbery wrote:

On Mon, Apr 14, 2014 at 2:37 PM, John M. Dlugosz wrote:

...

On 4/14/2014 10:47 AM, Brandon Allbery wrote:

...

But it is the *compiler's* problem. "Constant" means "known at compile time" to the compiler.

Pure means pure at run-time over the life of the executable. Just because the compiler doesn't

To you. To the compiler, and to me actually, if it is not known at compile time then it cannot be pure; it may not vary over an individual run of the program but it can vary over the lifetime of the program itself. If I cannot know it *statically* --- at compile time, since it is the compiler that needs to know that it is static --- then it is not pure.

-- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net

_______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners