Fri, 05 Nov 1999 09:42:20 -0600, Michael Hobbs <[EMAIL PROTECTED]> pisze:
> Monads do indeed have a viral nature to them. That is, once you use a
> monadic function, you are required to make the calling function monadic,
> and it's calling function, and it's calling function, and it's...
It's true for the IO monad, but not for all monads in general. Actions
of some monads can be encapsulated in pure functions, but the details
depend on a particular monad. Even [] and Maybe are monads. ST from
GHC and Hugs extensions is a monad of state transformers designed to
be safely encapsulated inside pure functions.
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/ GCS/M d- s+:-- a22 C+++>+++$ UL++>++++$ P+++ L++>++++$ E-
^^ W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP->+ t
QRCZAK 5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-
