[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Feature Discuss] Nested buffer
From: |
Drew Adams |
Subject: |
RE: [Feature Discuss] Nested buffer |
Date: |
Mon, 23 Jul 2018 18:24:00 -0700 (PDT) |
> > I think anything that was covered by the islands proposals
>
> This new suggestion sounds rather like narrowed indirect buffers
> (which we can do already), or perhaps an extension of that facility?
The new proposal sounds like nearly anything one might want
to imagine. IOW, it sounds like nothing at all. It needs
to be specified - nailed down quite a bit more, so people
can actually think about it, instead of just imagining stuff.
Re: [Feature Discuss] Nested buffer, Brett Gilio, 2018/07/23
Re: [Feature Discuss] Nested buffer, Stefan Monnier, 2018/07/24