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

2 Apr 2017


      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" mailto: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 mailto:Libraries@haskell.org
    > http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
    http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
_______________________________________________
    Libraries mailing list
    Libraries@haskell.org mailto:Libraries@haskell.org
    http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
    http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries