On Thu, May 21, 2009 at 10:51 AM, Viktor Cerovski <[email protected]> wrote: > I see Monads as allowing us to describe various classes of computations, > including those that involve side-effects, by (monadic) constructs that > have no side-effects, i.e remain referentially transparent.
Note, however, that output necessarily causes side-effects, even when treated via a monad. Likewise, input necessarily depends on side-effects. Computational state need not involve side-effects, but we have ways other than monads of treating state in a "purely functional" fashion. For example, we can implement recursion (or functional iteration) on an argument which consists of name/value pairs. -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
