Quoth Steve Horne
On 29/12/2011 18:41, Chris Smith wrote: ...
On Thu, 2011-12-29 at 10:04 -0800, Donn Cave wrote:
We can talk endlessly about what your external/execution results might be for some IO action, but at the formulaic level of a Haskell program it's a simple function value, e.g., IO Int.
Not to nitpick, but I'm unsure what you might mean by "function value" there. An (IO Int) is not a function value: there is no function involved at all. I think the word function is causing some confusion, so I'll avoid calling things functions when they aren't.
Except that it *is* a function value.
He's right, I should have omitted "function", I just meant "value." I think the rest of what came out when he entered "tutorial mode" should be very helpful, if there's anything left that remains to be clarified about how Haskell manages to be a pure functional language. Donn