Send Beginners mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
[email protected]
You can reach the person managing the list at
[email protected]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Understanding the function monad ((->) r) (Olumide)
2. Re: Understanding the function monad ((->) r) (Benjamin Edwards)
3. Re: Understanding the function monad ((->) r) (Olumide)
----------------------------------------------------------------------
Message: 1
Date: Tue, 21 Feb 2017 10:15:24 +0000
From: Olumide <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: [Haskell-beginners] Understanding the function monad ((->) r)
Message-ID: <[email protected]>
Content-Type: text/plain; charset=utf-8; format=flowed
Hello List,
I am having enormous difficulty understanding the definition of the bind
operator of ((->) r) as show below and would appreciate help i this regard.
instance Monad ((->) r) where
return x = \_ -> x
h >>= f = \w -> f (h w) w
Thanks,
- Olumide
------------------------------
Message: 2
Date: Tue, 21 Feb 2017 10:25:02 +0000
From: Benjamin Edwards <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Understanding the function monad
((->) r)
Message-ID:
<can6k4njv-h5zgrrbxkmfk0cevhmon6evsszf4vm-ypgkt_4...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
What is it that you are having difficulty with? Is it "why" this is a good
definition? Is it that you don't understand how it works?
Ben
On Tue, 21 Feb 2017 at 10:15 Olumide <[email protected]> wrote:
> Hello List,
>
> I am having enormous difficulty understanding the definition of the bind
> operator of ((->) r) as show below and would appreciate help i this
> regard.
>
> instance Monad ((->) r) where
> return x = \_ -> x
> h >>= f = \w -> f (h w) w
>
> Thanks,
>
> - Olumide
>
> _______________________________________________
> Beginners mailing list
> [email protected]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20170221/ab6588f7/attachment-0001.html>
------------------------------
Message: 3
Date: Tue, 21 Feb 2017 11:34:41 +0000
From: Olumide <[email protected]>
Cc: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Understanding the function monad
((->) r)
Message-ID: <[email protected]>
Content-Type: text/plain; charset=utf-8; format=flowed
On 21/02/2017 10:25, Benjamin Edwards wrote:
> What is it that you are having difficulty with? Is it "why" this is a
> good definition? Is it that you don't understand how it works?
I simply can't grok f (h w) w.
- Olumide
> On Tue, 21 Feb 2017 at 10:15 Olumide <[email protected]
> <mailto:[email protected]>> wrote:
>
> Hello List,
>
> I am having enormous difficulty understanding the definition of the bind
> operator of ((->) r) as show below and would appreciate help i this
> regard.
>
> instance Monad ((->) r) where
> return x = \_ -> x
> h >>= f = \w -> f (h w) w
>
> Thanks,
>
> - Olumide
>
> _______________________________________________
> Beginners mailing list
> [email protected] <mailto:[email protected]>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
>
>
> _______________________________________________
> Beginners mailing list
> [email protected]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 104, Issue 11
******************************************
