Donn Cave 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.

putStr is a pure function, but it isn't a "pure function" ;)

OTOH, getLine isn't even a function, just a value.

-- 
Glynn Clements <[EMAIL PROTECTED]>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to