Functor, Applicative, Monad, Foldable, Traversable instances for (, , ) a b

[Theodore Lief Gannon]

Come on guys, let's keep it respectful, especially considering this is the
libraries list. Lively debate is good, but it shouldn't turn to noise.

On Apr 2, 2017 1:33 AM, "Tony Morris" <tonymorris at gmail.com> wrote:

> Join me in not caring about the names. Again, use the types.
>
> It's triply hilarious that we have a typed programming language, and an
> increasingly disproportionate user base who don't know how to use those
> types. What is this? Amateur hour? Python exists.
>
>
> On 02/04/17 18:22, Henrik Nilsson wrote:
> > On 04/02/2017 01:56 AM, Tony Morris wrote:
> >> length :: f a -> Int
> >>
> >> We immediately know that values of the kind (* -> *) slot in to the
> >> value (f), with a kind checker to ensure we get it correct. Therefore,
> >> we can easily reason about the length of values of kind ((,) a)
> >>
> >> I do find it hilarious that this discussion continued using the term
> >> "tuple" as if to make a reasonable point. KIND ERROR.
> >
> > And it's doubly hilarious that that the above argument is put forward
> > without any regard for picking an appropriate name for the concept,
> > which most certainly is very different from "length" as used in
> > everyday parlance, physics, mathematics, and any CS text-book on
> > data-structures and algorithms I've ever seen.
> >
> > Best,
> >
> > /Henrik
> >
> >
> >
> >
> >
> > This message and any attachment are intended solely for the addressee
> > and may contain confidential information. If you have received this
> > message in error, please send it back to me, and immediately delete it.
> > Please do not use, copy or disclose the information contained in this
> > message or in any attachment.  Any views or opinions expressed by the
> > author of this email do not necessarily reflect the views of the
> > University of Nottingham.
> >
> > This message has been checked for viruses but the contents of an
> > attachment may still contain software viruses which could damage your
> > computer system, you are advised to perform your own checks. Email
> > communications with the University of Nottingham may be monitored as
> > permitted by UK legislation.
> >
> > _______________________________________________
> > Libraries mailing list
> > Libraries at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170402/23f43924/attachment.html>