Generalizing some type signatures involving Int

[David Feuer]

genericLength is extremely inefficient for typical numeric types. Int is a
rather sad type for these things; it really should be Word. But that may
not be worth fixing.

On Tue, Nov 13, 2018, 9:51 PM Evan Laforge <qdunkan at gmail.com wrote:

> You can already get these as Data.List.genericLength and
> Data.List.genericReplicate
>
> As for changing the prelude ones, this would probably cause a lot of
> busywork.  Where I work we compile with -Werror and -Wtype-defaults,
> so a lot of places might have to get type annotations.
> On Tue, Nov 13, 2018 at 5:19 PM Vanessa McHale <vanessa.mchale at iohk.io>
> wrote:
> >
> > Would it be possible to generalize replicate and length to have type
> > signatures
> >
> > replicate :: Integral a => a -> b -> [b]
> >
> > and
> >
> > length :: (Integral a, Foldable t) => t b -> a
> >
> > ?
> >
> > There have been a few instances where such a thing would have been
> > useful to me.
> >
> > Cheers
> >
> >
> > _______________________________________________
> > 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/20181113/0057e3cf/attachment.html>