Send Beginners mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
http://www.haskell.org/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. Re: Combining IO and Either function to "EitherT e IO a"
(Tim Perry)
2. Re: Using GHCi, import submodule that needs to import
another submodule? (James Toll)
----------------------------------------------------------------------
Message: 1
Date: Thu, 6 Mar 2014 09:21:29 -0800
From: Tim Perry <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Combining IO and Either function to
"EitherT e IO a"
Message-ID:
<cafvgaswxpo1-j+j5_odrcuxyg8gaxpiayht2hwogyftpyfq...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
Thanks Brent. Your posts and the link helped.
On Wed, Mar 5, 2014 at 3:38 PM, David Thomas <[email protected]>wrote:
> Agreed on all counts.
>
>
> On Wed, Mar 5, 2014 at 3:35 PM, Brent Yorgey <[email protected]>wrote:
>
>> On Wed, Mar 05, 2014 at 03:22:39PM -0800, David Thomas wrote:
>> > It's a function of zero arguments.
>>
>> This is really stretching the meaning of the word "function" beyond
>> any reasonable, useful definition, in my opinion. See the discussion
>> here:
>>
>> http://conal.net/blog/posts/everything-is-a-function-in-haskell
>>
>> A much more useful (and precise) point of view is that in Haskell, all
>> functions take exactly one argument. Under that view, of course,
>> there is no such thing as a function of zero arguments.
>>
>> > It's also sort of, kind of a function
>> > from RealWorld to (String, RealWorld) if you squint.
>>
>> I'm don't think this is a very helpful way to understand IO, though it
>> is probably closer to the sense in which the OP understood IO String
>> to be a function.
>>
>> My guess is that what is really going on here is a confusion of
>> terminology from imperative languages, some of which use the word
>> "function" for everything, whether they take any arguments or not,
>> return any values or not, have any side effects or not, etc.
>>
>> -Brent
>>
>> > On Wed, Mar 5, 2014 at 10:18 AM, Kim-Ee Yeoh <[email protected]> wrote:
>> >
>> > >
>> > > On Thu, Mar 6, 2014 at 12:49 AM, Nathan H?sken <
>> [email protected]>wrote:
>> > >
>> > >> Mmh, I might not have used haskell terminology correctly. Its a
>> function,
>> > >> in the sense of a function of an imperative language ...
>> > >
>> > >
>> > > Yes, you could model IO String in C as a function taking void and
>> > > returning a pointer to char.
>> > >
>> > > Calling an IO String a Haskell function would confuse a lot of people.
>> > >
>> > > -- Kim-Ee
>> > >
>> > > _______________________________________________
>> > > Beginners mailing list
>> > > [email protected]
>> > > http://www.haskell.org/mailman/listinfo/beginners
>> > >
>> > >
>>
>> > _______________________________________________
>> > Beginners mailing list
>> > [email protected]
>> > http://www.haskell.org/mailman/listinfo/beginners
>>
>> _______________________________________________
>> Beginners mailing list
>> [email protected]
>> http://www.haskell.org/mailman/listinfo/beginners
>>
>
>
> _______________________________________________
> Beginners mailing list
> [email protected]
> http://www.haskell.org/mailman/listinfo/beginners
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20140306/edd710a2/attachment-0001.html>
------------------------------
Message: 2
Date: Thu, 6 Mar 2014 21:06:23 -0600
From: James Toll <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Using GHCi, import submodule that
needs to import another submodule?
Message-ID: <[email protected]>
Content-Type: text/plain; charset=us-ascii
On Mar 6, 2014, at 4:06 AM, Daniel Trstenjak wrote:
>
> Hi James,
>
>> One observation I could make as a beginner is that I wish the
>> documentation made a better distinction between packages and modules.
>
> Unfortunately it's even a bit more complex.
Daniel,
Thanks for answering some of my many questions. I really appreciate your
taking the time. I clearly still have a lot to learn on the subject but I
appreciate the help.
Thanks,
James
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 69, Issue 14
*****************************************