[Haskell-cafe] Linguistic hair-splitting

[Conor McBride]

Hi

On 27 Jan 2010, at 20:14, Luke Palmer <lrpalmer at gmail.com> wrote:

> On Wed, Jan 27, 2010 at 11:39 AM, Jochem Berndsen  
> <jochem at functor.nl> wrote:
>>> Now, here's the question: Is is correct to say that [3, 5, 8] is a
>>> monad?
>>
>> In what sense would this be a monad? I don't quite get your question.
>
> I think the question is this:  if m is a monad, then what do you call
> a thing of type m Int, or m Whatever.

It has been known to call such things 'computations', as opposed to  
'values', and even to separate the categories of types and expressions  
which deliver the two.

I think that's a useful separation: I wish return (embedding values in  
computations) were silent, and thunk (embedding computations in  
values) made more noise.

Cheers

Conor

>
> Luke
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe