Re: [Haskell-cafe] Linguistic hair-splitting

Hi On 27 Jan 2010, at 20:14, Luke Palmer wrote:

On Wed, Jan 27, 2010 at 11:39 AM, Jochem Berndsen 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe