According to this <http://zvon.org/other/haskell/Outputprelude/elem_f.html>
elem is
Eq a => a -> [a] -> Bool
but according to my ghci :t it's this
elem :: (Foldable t, Eq a) => a -> t a -> Bool
I understand the first, but not the second, especially with the t. What is
this saying extra, different from the first one?
⨽
Lawrence Bottorff
Grand Marais, MN, USA
borgauf(a)gmail.com
"I recently wrote a blog post which explains how expressions are
evaluated: https://coot.me/posts/containers-strict-foldr.html"
OK, but what I was asking for is a one-or-two-page diagram of the
dependencies among Haskell concepts. A diagram. Do you know of any
such thing?
Regards,
Michael Turner
Executive Director
Project Persephone
1-25-33 Takadanobaba
Shinjuku-ku Tokyo 169-0075
Mobile: +81 (90) 5203-8682
turner(a)projectpersephone.org
Understand - http://www.projectpersephone.org/
Join - http://www.facebook.com/groups/ProjectPersephone/
Donate - http://www.patreon.com/ProjectPersephone
Volunteer - https://github.com/ProjectPersephone
"Love does not consist in gazing at each other, but in looking outward
together in the same direction." -- Antoine de Saint-Exupéry
On Sun, Aug 1, 2021 at 9:07 PM <beginners-request(a)haskell.org> wrote:
>
> Send Beginners mailing list submissions to
> beginners(a)haskell.org
>
> 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
> beginners-request(a)haskell.org
>
> You can reach the person managing the list at
> beginners-owner(a)haskell.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Beginners digest..."
>
>
> Today's Topics:
>
> 1. Re: A one- or two-page diagram of how Haskell works?
> (coot(a)coot.me)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Sat, 31 Jul 2021 14:49:16 +0000
> From: coot(a)coot.me
> To: The Haskell-Beginners Mailing List - Discussion of primarily
> beginner-level topics related to Haskell <beginners(a)haskell.org>
> Subject: Re: [Haskell-beginners] A one- or two-page diagram of how
> Haskell works?
> Message-ID:
> <EZfK5cGJHh6cQSJdxYXSllCLYfcKlKaNZ901czluMR9OpPv1PUXkB50Ti5u_RKom9_14czzQZERMj1_ySn3P50uTZ4GIwSg137PpsJ9m1no=(a)coot.me>
>
> Content-Type: text/plain; charset="utf-8"
>
> I recently wrote a blog post which explains how expressions are evaluated: https://coot.me/posts/containers-strict-foldr.html
>
> Best regards,
> Marcin
>
> Sent with ProtonMail Secure Email.
>
> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
>
> On Thursday, June 24th, 2021 at 05:41, Michael Turner <michael.eugene.turner(a)gmail.com> wrote:
>
> > When I write C, or even C++, I have a mental model of how execution
> >
>
> > will proceed.
> >
>
> > When I write Prolog, but get confused, I run a kind of skeletal
> >
>
> > inference algorithm in my head and the confusion usually clears up. I
> >
>
> > can imagine how things are stored and what's done with them. I can see
> >
>
> > /through/ the code to the machine.
> >
>
> > With Haskell, I still feel blind.
> >
>
> > Has anyone summarized it all in a chart where I can look at it and
> >
>
> > think, "Ah, OK, GHC is taking this line and thinking of it THIS way"?
> >
>
> > If someone wanted to write an interpreter for Haskell, would there be
> >
>
> > a way for them to see how it would basically need to work, in one
> >
>
> > chart?
> >
>
> > Regards,
> >
>
> > Michael Turner
> >
>
> > Executive Director
> >
>
> > Project Persephone
> >
>
> > 1-25-33 Takadanobaba
> >
>
> > Shinjuku-ku Tokyo 169-0075
> >
>
> > Mobile: +81 (90) 5203-8682
> >
>
> > turner(a)projectpersephone.org
> >
>
> > Understand - http://www.projectpersephone.org/
> >
>
> > Join - http://www.facebook.com/groups/ProjectPersephone/
> >
>
> > Donate - http://www.patreon.com/ProjectPersephone
> >
>
> > Volunteer - https://github.com/ProjectPersephone
> >
>
> > "Love does not consist in gazing at each other, but in looking outward
> >
>
> > together in the same direction." -- Antoine de Saint-Exupéry
> >
>
> > Beginners mailing list
> >
>
> > Beginners(a)haskell.org
> >
>
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
