On Sat, Jan 30, 2010 at 1:24 AM, Conal Elliott co...@conal.net wrote:
I call it an m or (more specifically) an Int m or a list of Int. For
instance, a list or an Int list or a list of Int. - Conal
On Wed, Jan 27, 2010 at 12:14 PM, Luke Palmer lrpal...@gmail.com wrote:
On Wed, Jan 27,
Alexander Solla wrote:
On Jan 27, 2010, at 4:57 PM, Conor McBride wrote:
Yes, the separation is not clear in Haskell. (I consider this
unfortunate.) I was thinking of Paul Levy's call-by-push-value
calculus, where the distinction is clear, but perhaps not as fluid as
one might like.
What,
On Sat, Jan 30, 2010 at 9:33 AM, Conal Elliott co...@conal.net wrote:
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
I call it an m or (more specifically) an Int m or a list of Int. For
instance, a list or an Int list or a list of Int. - Conal
On Wed, Jan 27, 2010 at 12:14 PM, Luke Palmer lrpal...@gmail.com wrote:
On Wed, Jan 27, 2010 at 11:39 AM, Jochem Berndsen joc...@functor.nl
wrote:
Now, here's the
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
Daniel Fischer daniel.is.fisc...@web.de writes:
It has been known to call such things 'computations',
I think actions has been used, too, but perhaps mostly for things in
IO and similar monads?
as opposed to 'values', and even to separate the categories of types
and expressions which
Am Donnerstag 28 Januar 2010 09:14:38 schrieb Ketil Malde:
Daniel Fischer daniel.is.fisc...@web.de writes:
It has been known to call such things 'computations',
I think actions has been used, too, but perhaps mostly for things in
IO and similar monads?
as opposed to 'values', and even to
Quoth Daniel Fischer daniel.is.fisc...@web.de,
Am Donnerstag 28 Januar 2010 09:14:38 schrieb Ketil Malde:
Daniel Fischer daniel.is.fisc...@web.de writes:
As usual, that only works part of the time. [1,4,15,3,7] is not a
computation, it's a list of numbers. A plain and simple everyday
value.
Here's one for you to ponder.
7 is a number. 7 is an integer, and integers are numbers.
7 is not a field. 7 is an element of [at least one] field, but 7 itself
is not a field.
7 is not a group. 7 is a member of the set of integers, but the set of
integers is not a group either. The set of
Andrew Coppin wrote:
7 is a number. 7 is an integer, and integers are numbers.
7 is not a field. 7 is an element of [at least one] field, but 7 itself
is not a field.
7 is not a group.
Why not? It might be useful to use the notation '7' for the cyclic group
with 7 elements.
7 is a
The list type constructor ([] :: * - *) is a functor, and if you add the
implementations of join/return (or just return and bind) those together make
the monad. The value-level list [3,5,8] is just a list :)
On Wed, Jan 27, 2010 at 1:30 PM, Andrew Coppin
andrewcop...@btinternet.comwrote:
Here's
On Wed, Jan 27, 2010 at 11:39 AM, Jochem Berndsen joc...@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
Luke Palmer wrote:
On Wed, Jan 27, 2010 at 11:39 AM, Jochem Berndsen joc...@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
Hi
On 27 Jan 2010, at 20:14, Luke Palmer lrpal...@gmail.com wrote:
On Wed, Jan 27, 2010 at 11:39 AM, Jochem Berndsen
joc...@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
Am Mittwoch 27 Januar 2010 22:50:35 schrieb Conor McBride:
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.
As usual, that only works part of the time. [1,4,15,3,7] is not a
On 27 Jan 2010, at 22:02, Daniel Fischer daniel.is.fisc...@web.de
wrote:
Am Mittwoch 27 Januar 2010 22:50:35 schrieb Conor McBride:
It has been known to call such things 'computations', as opposed to
'values', and even to separate the categories of types and
expressions
which
On Jan 27, 2010, at 4:57 PM, Conor McBride wrote:
Yes, the separation is not clear in Haskell. (I consider this
unfortunate.) I was thinking of Paul Levy's call-by-push-value
calculus, where the distinction is clear, but perhaps not as fluid
as one might like.
What, exactly, is the
17 matches
Mail list logo
