2017-04-02 18:04 GMT+09:00 Tony Morris <tonymorris@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@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@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries