[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: |
Nicolas Petton |
Subject: |
Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations |
Date: |
Thu, 09 Jun 2016 17:46:42 +0200 |
User-agent: |
Notmuch/0.21 (http://notmuchmail.org) Emacs/25.1.50.2 (x86_64-unknown-linux-gnu) |
Michael Heerdegen <address@hidden> writes:
> Nicolas Petton <address@hidden> writes:
>
>> > `stream-scan' is useful and not redundant.
>
>> Yes, I get it now. However I'm still a bit confused by its name.
>
> The name is borrowed from Haskell. Other suggestions welcome.
I don't have any :)
> I don't understand what that means: how can "reduce" be lazy at all? It
> needs to generate all stream elements to compute the requested value,
> and that at call time.
Of course, you're right!
Nico
signature.asc
Description: PGP signature
- [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/06/02
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/06/02
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Nicolas Petton, 2016/06/02
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/06/02
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/06/08
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Yuri Khan, 2016/06/09
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/06/09
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Yuri Khan, 2016/06/09
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/06/10
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Yuri Khan, 2016/06/10
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/06/10
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Markus Triska, 2016/06/12
- Re: [PATCH] Gnu Elpa: stream.el: Add some more basic stream operations, Michael Heerdegen, 2016/06/12