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

[Tony Morris]

It was mostly a joke. Sorry it wasn't understood that way.


On 02/04/17 18:54, Theodore Lief Gannon wrote:
> 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
> <mailto: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 <mailto:Libraries at haskell.org>
>     > http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>     <http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries>
>
>
>
>     _______________________________________________
>     Libraries mailing list
>     Libraries at haskell.org <mailto:Libraries at haskell.org>
>     http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>     <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/41e32c84/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20170402/41e32c84/attachment.sig>