Re: Re: Redesigning collections

Why (apart from consistency across collection implementations) do you
require foldRight on Iterator in the strawman? I can't think of a way of
implementing it that doesn't require exhausting the iterator, and storing
the result somewhere, probably as one of the other collection types.  So
it' s not really much to do with Iterators.

So it seems unlikely to be an interesting or revealing thing for any
strawman proposal.

On 5 October 2015 at 14:00, martin odersky <[email protected]> wrote:

> Correction: The full link to the proposal is here:
>
> https://github.com/lampepfl/dotty/issues/818
>
>  - Martin
>
> On Mon, Oct 5, 2015 at 2:59 PM, martin odersky <[email protected]>
> wrote:
> > A redesign of the standard library is on the roadmap for one of the
> > next Scala versions (could be as early as 2.13). So I think now is the
> > time to start thinking about what we want to change, in particular in
> > what concerns collections!
> >
> > Collection libraries have to address at the same time many criteria;
> > it usually makes little sense to consider individual changes in
> > isolation. To make progress, I propose to embark on a set of strawman
> > proposals that are of manageable size yet can illustrate key aspects
> > of potential collection designs. More details are found here:
> >
> >   https://github.com/lampepfl/dotty/issues
> >
> > I'd be happy to see
> >
> >  - concrete implementations of the proposed API
> >  - discussions how we should change or flesh out the API
> >
> > Cheers
> >
> >  - Martin
> >
> >
> > --
> > Martin Odersky
> > EPFL
>
>
>
> --
> Martin Odersky
> EPFL
>
> --
> You received this message because you are subscribed to the Google Groups
> "scala-language" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups "scala-language" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
For more options, visit https://groups.google.com/d/optout.