[Haskell-beginners] Simple function comparison

[emacstheviking]

Awesome video, I watched it about ten times in a row and so many pennies
dropped.

On 25 November 2015 at 16:35, Stephen Renehan <d11124067 at mydit.ie> wrote:

> Hi Matthew,
>
> Was just about to reply that I only have the process written in long
> hand from the video that I enclose but I see Francesco beat me to it
> with a more concise explanation. Thanks again Francesco :)
>
> https://www.youtube.com/watch?v=ZhuHCtR3xq8
>
>
> On 25 November 2015 at 15:48, MJ Williams <matthewjwilliams101 at gmail.com>
> wrote:
> > [snip]
> >
> >> I don't think there is a way to /prove/ f (g a) == g (f a) if their
> domain
> >> is not finite inside Haskell (you could do it with pen and paper).
> >
> > [snip]
> >         Just out of interest, could you demonstrate the proof without a
> > finite domain?
> >
> > Sincerely, Matthew
> >
> >
> > _______________________________________________
> > Beginners mailing list
> > Beginners at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
> --
>
>
> This email originated from DIT. If you received this email in error, please
> delete it from your system. Please note that if you are not the named
> addressee, disclosing, copying, distributing or taking any action based on
> the contents of this email or attachments is prohibited. www.dit.ie
>
> Is ó ITBÁC a tháinig an ríomhphost seo. Má fuair tú an ríomhphost seo trí
> earráid, scrios de do chóras é le do thoil. Tabhair ar aird, mura tú an
> seolaí ainmnithe, go bhfuil dianchosc ar aon nochtadh, aon chóipeáil, aon
> dáileadh nó ar aon ghníomh a dhéanfar bunaithe ar an ábhar atá sa
> ríomhphost nó sna hiatáin seo. www.dit.ie
>
> Tá ITBÁC ag aistriú go Gráinseach Ghormáin – DIT is on the move to
> Grangegorman <http://www.dit.ie/grangegorman>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20151125/5c510b24/attachment.html>