[bitc-dev] Vectors and mutability and bears (oh my)

[Jonathan S. Shapiro]

On Thu, Nov 4, 2010 at 2:45 PM, Raoul Duke <raould at gmail.com> wrote:

> On Thu, Nov 4, 2010 at 2:41 PM, Jonathan S. Shapiro <shap at eros-os.org>
> wrote:
> > Step 1: Observe that an array (at least in BitC) is either mutable at all
> > positions or immutable at all positions. The types "array(mutable char)"
> and
> > "mutable array(char )" are equivalent, and the hypothetical type "mutable
> > array(immutable char)" is nonsense.
>
> what if the array-contents-type is not a value-type?
>
>
My statement still holds. In the case of a reference type, the mutability of
the array means that the references themselves (the pointers) can be
overwritten. That is entirely separate from whether the element type permits
the *target* of the references (the payload of the object) can be
overwritten.


shap
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20101105/09ace70a/attachment.html