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

[Fumiaki Kinoshita]

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>:

> 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> 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
>>
>>
>
> _______________________________________________
> 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/20170403/9c40cec4/attachment.html>