[Haskell-cafe] Haskell function composition commutivity?
carter.schonwald at gmail.com
Wed Apr 14 19:11:52 UTC 2021
Agreed! I’ve actually never met somone who suggests it as either a starter
or advanced reference e
On Wed, Apr 14, 2021 at 8:43 AM Dominic Steinitz <dominic at steinitz.org>
> I’d recommend *not* reading Categories for the Working Mathematician
> unless you are a mathematician (lots of background assumed) and even then
> it’s a bit of a dull read.
> Dominic Steinitz
> dominic at steinitz.org
> Twitter: @idontgetoutmuch
> From: Viktor Dukhovni <ietf-dane at dukhovni.org>
> To: haskell-cafe at haskell.org
> Subject: Re: [Haskell-cafe] Haskell function composition commutivity?
> Message-ID: <YHYPMnJcYzdEolzl at straasha.imrryr.org>
> Content-Type: text/plain; charset=us-ascii
> On Tue, Apr 13, 2021 at 02:19:46PM -0500, Galaxy Being wrote:
> Your answers seem to originate outside of normal Haskell tutorials. Where
> can I start with this higher superset theory?
> There's a reason why the tutorials don't cover this, the categorical
> foundations of Haskell types are not beginner material. It is perhaps
> best to defer going down this rabbit hole until you're more comfortable
> with the Haskell generally.
> You could start with:
> For the Yoneda Lemma specifically, I'd recommend:
> Parametricity is covered in "Theorems for free":
> but it is by no means elementary, though skimming it for the essential
> facts and skipping the gory details is not too difficult.
> You could also read "Categories for the Working Mathematician" by
> Saunders Mac Lane.
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe