Functor, Applicative, Monad, Foldable, Traversable instances for (, , ) a b
Tony Morris
tmorris at tmorris.net
Thu Apr 6 03:15:21 UTC 2017
- Previous message: Functor, Applicative, Monad, Foldable, Traversable instances for (, , ) a b
- Next message: Functor, Applicative, Monad, Foldable, Traversable instances for (, , ) a b
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
By "length" here I mean, the function whose name is lima echo november golf
tango hotel. I truly do not care what it is called. Follow the types, and
the types of the types.
On Thu, Apr 6, 2017 at 12:51 AM, Ben Franksen <ben.franksen at online.de>
wrote:
> Am 01.04.2017 um 03:27 schrieb Tony Morris:
> > The length of ((,) a) is exactly one. Anything else is ridiculous. Try
> > arguing against that,
>
> Half true: length for this type makes no sense at all since it is not a
> sequence. So there should be no length defined for it.
>
> Just choose a different name.
>
> Cheers
> Ben
>
> _______________________________________________
> 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/20170406/9b2cdf61/attachment.html>
- Previous message: Functor, Applicative, Monad, Foldable, Traversable instances for (, , ) a b
- Next message: Functor, Applicative, Monad, Foldable, Traversable instances for (, , ) a b
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Libraries
mailing list