FW: RE [Haskell-cafe] Monad Description For Imperative Programmer
zednenem at psualum.com
Fri Aug 3 16:07:46 EDT 2007
On 8/1/07, Jeff Polakow <jeff.polakow at db.com> wrote:
> >But what about an actual object of type 'IO
> > Int', say?
> I usually describe the type resulting from applying a monad a computation.
Same here. If "m" is a monad, then "m a" is a computation. (Of course,
computations are first-class values, like functions.) I've
occasionally called functions of type "a -> m b" monadic functions,
but I suspect that's poor style.
I wonder how much of the confusion surrounding monads comes from the
fact that using them in Haskell involves higher-order functions, type
constructors, and type constructor classes.
More information about the Haskell-Cafe