[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Just a few questions
From: |
Jonathan S. Shapiro |
Subject: |
Re: Just a few questions |
Date: |
Mon, 24 Oct 2005 15:43:49 -0400 |
On Mon, 2005-10-24 at 16:41 +0200, Bernhard Kauer wrote:
> On Mon, Oct 24, 2005 at 02:21:39PM +0100, Neal H. Walfield wrote:
> > Jonathan recently outlined how constructors functions in [1] and I
> > think he answers your question there.
>
> Perhaps I should refine my question: What are the guarantees of the
> constructor I can not achieve without a COPY?
>
> I took a look at the description of constructors (thanks for the references!)
> but I did not found the requirement for a COPY there.
Bernhard is correct. REVOCABLE COPY is not an impediment to confinement
w.r.t. the constructor. It is an impediment to robustness, which is a
discussion that we have already had. I did not think my statement
through carefully enough.
shap