On Thu, May 21, 2009 at 6:12 PM, Viktor Cerovski <[email protected]> wrote: > Raul Miller-4 wrote: >> Note, however, that output necessarily causes side-effects, even when >> treated >> via a monad. Likewise, input necessarily depends on side-effects. >> > But, again and again Raul, the monadic description of the process is > side-effect free. This can be also demonstrated by some arrow chasing.
This is only because the monadic description of the process is incomplete (it does not deal with the other system with which you are communicating -- if it did, then all systems would be side effect free merely by communicating with a system which implements monads). -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
