3 Jan
2006
3 Jan
'06
1:11 p.m.
On Tue, 3 Jan 2006, Chris Kuklewicz wrote: ...
I sometimes call a function with side-effects in IO a "command". But the terms are fungible. But calling putStr a "function" is correct. It is not a "pure function" however.
Is that the standard party line? I mean, we all know its type and semantics, whatever you want to call them, but if we want to put names to things, I had the impression that the IO monad is designed to work in a pure functional language - so that the functions are indeed actually pure, including putStr. It's the monad that actually incurs the side effects. Or something like that. So it isn't at all necessary to have another word for functions of type IO a. Donn Cave, donn@drizzle.com