[swift-evolution] Proposal: Add SequenceType.first

Dave Abrahams dabrahams at apple.com
Sat Jan 2 21:17:35 CST 2016


> On Dec 31, 2015, at 3:20 PM, Kevin Ballard <kevin at sb.org> wrote:
> 
> On Thu, Dec 31, 2015, at 02:03 PM, Dave Abrahams wrote:
>>  
>>> On Dec 31, 2015, at 1:58 PM, Kevin Ballard <kevin at sb.org <mailto:kevin at sb.org>> wrote:
>>>  
>>> Good idea, though I'd probably call it PeekSequence because it would only buffer a single element (and BufferedSequence sounds like it's got an arbitrary-sized buffer). Perhaps more useful would be the associated PeekGenerator, because peek() is a useful thing to have when writing custom generator-using code.
>>  
>> The size of the buffer is an implementation detail, and I don’t find “peek” descriptive.
>  
> There's precedent for the name "peek". More importantly, that's the name you'd use for the generator method; the sequence would still have the "first" property.
>  
> My concern with making the size of the buffer be an implementation detail is I'd rather not add array allocation if I only need a single element of lookahead. I suppose it could have an `enum { OneElement(Element), Buffer([Element]) }` as the storage, but that still does end up being a little bit of extra work on every call to next().
>  
>>> I'll write up a more detailed email with a proposed design in a minute.
>>>  
>>>> Another related adapter I’d like to add is a model of CollectionType that is backed by a sequence and lazily populated in fixed-sized chunks.
>>>  
>>> Also a good idea. Although really it could just be backed by a ContiguousArray, those things already grow in chunks. I'll write up a design for that too.
>>  
>> Not unless you want to keep the buffers alive longer than necessary.  Imagine you’re parsing a long stream with some amount of lookahead.  You can scan this collection by slicing it and the buffer segments that are no longer in use will be automatically collected.
>  
> Ah, I didn't realize you wanted to collect chunks that haven't been used lately. But I don't think that's possible;

> since it's backed by a sequence, the chunks MUST be generated in order; there's no way to skip ahead, and no way to generate an older chunk that you've thrown away.

Right…?

> But since it's a CollectionType, you need to preserve the ability to access older values.

Not once you replace it with a slice of itself.

> So the only way to actually have this be a CollectionType is to buffer the entire sequence up to the highest-accessed index.
>  
> Of course, your use-case of processing a stream with some amount of lookahead and throwing away the old data actually sounds like something a "BufferedSequence" might provide. Or actually, a "BufferedGenerator", because the only way to process a sequence is with a generator and so all a "BufferedSequence" would really do is just give you a "BufferedGenerator" from its generate() method.

I’m quite certain this is buildable.  I’ve got my hands full at the moment or I’d create a prototype…

-Dave

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160102/906cc177/attachment.html>


More information about the swift-evolution mailing list