I don't like this bias toward singling out Monad among all of the type classes, thereby perpetuating the misleading mystique surrounding Monad. If you're going to call [3,5,8] "a monadic value", then please give equal time to other type classes by also calling [3,5,8] "a functorial value" ("functorific"?), "an applicative value", "a monoidal value", "a foldable value" ("foldalicious"?), "a traversable value", "a numeric value" (see the applicative-numbers package), etc. Similarly when referring to values of other types that happen to be monads as well as other type classes.<br>
<br> - Conal<br><br><div class="gmail_quote">On Wed, Jan 27, 2010 at 12:17 PM, Jochem Berndsen <span dir="ltr"><<a href="mailto:jochem@functor.nl">jochem@functor.nl</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">Luke Palmer wrote:<br>
> On Wed, Jan 27, 2010 at 11:39 AM, Jochem Berndsen <<a href="mailto:jochem@functor.nl">jochem@functor.nl</a>> wrote:<br>
>>> Now, here's the question: Is is correct to say that [3, 5, 8] is a<br>
>>> monad?<br>
>> In what sense would this be a monad? I don't quite get your question.<br>
><br>
> I think the question is this: if m is a monad, then what do you call<br>
> a thing of type m Int, or m Whatever.<br>
<br>
</div>Ah yes, I see. It's probably the most common to call this a "monadic<br>
value" or "monadic action". As Daniel pointed out, the type constructor<br>
itself is called a "monad" (e.g., Maybe).<br>
<br>
Jochem<br>
<font color="#888888"><br>
--<br>
</font><div class="im">Jochem Berndsen | <a href="mailto:jochem@functor.nl">jochem@functor.nl</a><br>
</div><div><div></div><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>