[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations
From: |
Michael Heerdegen |
Subject: |
Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations |
Date: |
Wed, 28 Sep 2016 03:07:49 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1.50 (gnu/linux) |
Yuri Khan <address@hidden> writes:
> [...describing the semantics...]
Exactly my thoughts.
> Looking back at the thread, I recall that this exploration started
> from my conjecture that detecting the presence of an absorbing element
> could make reduction lazy wrt all following elements. The possibility
> is fun to explore, but I am now thinking that was not such a useful
> idea.
Nonetheless I think providing something like that is necessary, because
it's a required functionality.
Hmm, what would you think of a function that returns the index of the
first element of a sequence that fulfills a certain predicate (actually,
there is already something similar, `seq-position', but that is meant to
find the index of an element equal to a given one)? That would, in some
sense, be the smallest common divider of what we discussed.
Regards,
Michael.
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/09/16
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Yuri Khan, 2016/09/17
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/09/25
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Yuri Khan, 2016/09/25
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations,
Michael Heerdegen <=
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Yuri Khan, 2016/09/28
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Nicolas Petton, 2016/09/28
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/09/28
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Yuri Khan, 2016/09/28
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, John Wiegley, 2016/09/25