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

[Tony Morris]

Shall we have a big discussion about it? Jeepers creepers mate. Sorry
for not apologising correctly.


On 03/04/17 11:44, Fumiaki Kinoshita wrote:
> Don't think your "joke" made my proposal more convincing or helped
> anything.
>
> 2017-04-02 18:04 GMT+09:00 Tony Morris <tonymorris at gmail.com
> <mailto:tonymorris at gmail.com>>:
>
>     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>
>>
>
>
>     _______________________________________________
>     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/20170403/15e25c9f/attachment-0001.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/20170403/15e25c9f/attachment-0001.sig>