On Thu, Jan 21, 2010 at 8:52 PM, Viktor Cerovski <[email protected]> wrote: > getChar :: FileHandle -> IO Char > > Notice the type: it is *not* Char, no, it is monadically encapsulated > or lifted Char. Wha'? What in the world is this IO screaming at us? > Well, it is a parametric type: IO is of type called Monad, which is defined > so that it takes *another* type as its argument, in this instance Char.
I appreciate what you are saying here. Nevertheless, a Haskell program which outputs something will have side effects (on the outside world). -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
