On Mon, Sep 21, 2020 at 07:06:21PM -0000, Dimitre Novatchev
dnovatchev(_at_)gmail(_dot_)com scripsit:
filter($sequence,$function) => head()
This seems nice, however it will probably filter the whole sequence and
only then take the head() of the resulting sequence.
Is there any guarantee that the evaluation of filter() will stop as soon as
an initial item is produced?
I wouldn't think there would be, given that filter() in general is
specified to filter the whole sequence.
I would in no way _object_ to a first-available() that's guaranteed to
stop as soon as it gets a true() result from $function. And there's
obviously a point past which one doesn't want to keep chaining
"otherwise". Frequency of the use-case might still be questionable.
--
Graydon Saunders | graydonish(_at_)gmail(_dot_)com
Þæs oferéode, ðisses swá mæg.
-- Deor ("That passed, so may this.")
--~----------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
EasyUnsubscribe: http://lists.mulberrytech.com/unsub/xsl-list/1167547
or by email: xsl-list-unsub(_at_)lists(_dot_)mulberrytech(_dot_)com
--~--