On Thu, 21 May 2009, Raul Miller wrote:
> 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).
I agree with Raul. If it is really side effect free, then there will
be no IO. You can not 'see' its result because no light will be
emitted from lcd (display).
--
regards,
====================================================
GPG key 1024D/4434BAB3 2008-08-24
gpg --keyserver subkeys.pgp.net --recv-keys 4434BAB3
唐詩254 崔顥 長干行二首之二
家臨九江水 來去九江側 同是長干人 生小不相識
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
