<div dir="ltr">slice is OK with me.  It partners well with skip and limit.</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Oct 7, 2013 at 1:47 PM, Sam Pullara <span dir="ltr">&lt;<a href="mailto:spullara@gmail.com" target="_blank">spullara@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Agree 100%.<br>
<span class="HOEnZb"><font color="#888888"><br>
Sam<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Oct 7, 2013, at 1:31 PM, Brian Goetz &lt;<a href="mailto:brian.goetz@oracle.com">brian.goetz@oracle.com</a>&gt; wrote:<br>
<br>
&gt; Yeah, I agree with Paul that substream is the oddball and that the attempt to rename skip() to substream() was a failure.<br>
&gt;<br>
&gt; If we have limit+skip, should the remaining substream(n,k) be renamed back to slice()?  WHich is what it was originally called.<br>
&gt;<br>
&gt; On 10/7/2013 4:20 PM, Mike Duigou wrote:<br>
&gt;&gt;<br>
&gt;&gt; On Oct 6 2013, at 00:05 , Joe Bowbeer wrote:<br>
&gt;&gt;<br>
&gt;&gt;&gt; More arguments not to rename:<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; 1. The InputStream.skip(n) that Java programmers are familiar with is<br>
&gt;&gt;&gt; an eager consumer, where subStream(n) is a lazy view, more like subList.<br>
&gt;&gt;<br>
&gt;&gt; Any consequences of this we should be highlighting in the documentation?<br>
&gt;&gt;<br>
&gt;&gt;&gt; 2. Shouldn&#39;t both subStream-like methods have similar names?<br>
&gt;&gt;<br>
&gt;&gt; What to do with limit() then? The difficulty is that people see limit()<br>
&gt;&gt; and look for skip(). Unfortunately we can&#39;t make another overload for<br>
&gt;&gt; subStream() to provide limit() due to arity<br>
&gt;&gt;<br>
&gt;&gt; Mike<br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; On Sat, Oct 5, 2013 at 10:48 PM, David Holmes &lt;<a href="mailto:david.holmes@oracle.com">david.holmes@oracle.com</a><br>
&gt;&gt;&gt; &lt;mailto:<a href="mailto:david.holmes@oracle.com">david.holmes@oracle.com</a>&gt;&gt; wrote:<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;    On 4/10/2013 8:02 AM, Mike Duigou wrote:<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;        Hello all;<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;        A bit of feedback from the recent JavaOne hands-on-lab is that<br>
&gt;&gt;&gt;        people have trouble finding the correct API to skip entries.<br>
&gt;&gt;&gt;        The Stream.limit(count) operation and<br>
&gt;&gt;&gt;        Stream.subStream(from,to) are easily found but new users fail<br>
&gt;&gt;&gt;        to find the Stream.subStream(from) operation. One suggestion<br>
&gt;&gt;&gt;        has been to rename the Stream.subStream(from) to<br>
&gt;&gt;&gt;        Stream.skip(count).<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;        The docs for Stream.subStream() also be updated to say<br>
&gt;&gt;&gt;        something similar to &quot;source.stream().subStream(__from,to)<br>
&gt;&gt;&gt;        produces the same set of elements in the same encounter order<br>
&gt;&gt;&gt;        as source.stream().skip(from).__limit(to-from)&quot;.<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;    My suspicion is that people are taking their I/O stream knowledge<br>
&gt;&gt;&gt;    and trying to map that to general Streams, hence looking for a<br>
&gt;&gt;&gt;    &quot;skip&quot; operation. I can&#39;t convince myself that this is worthwhile<br>
&gt;&gt;&gt;    changing given that it really produces a substream. Plus the I/O<br>
&gt;&gt;&gt;    usage can be somewhat different as you often decide what to skip<br>
&gt;&gt;&gt;    based on what has already been read, but with streams that won&#39;t<br>
&gt;&gt;&gt;    be the case.<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;    David<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;        I will go ahead with a renaming patch on Monday unless there<br>
&gt;&gt;&gt;        objections. Any counter proposals should be *very* narrow in<br>
&gt;&gt;&gt;        scope--we&#39;re past the point were we can do redesign.<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;        Mike<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;<br>
&gt;&gt;<br>
<br>
</div></div></blockquote></div><br></div>