On Sat, Dec 27, 2014 at 10:47 AM, Geoffrey Irving <[email protected]> wrote:
> A minor comment on the readonly / mutable discussion: maybe we should > be using "writable" instead of "readonly"? > Your intuition that we are mixing constraints and permissions here is correct, and this is indeed part of why the topic is confusing. Mutable is certainly a permission. Readonly is a constraint on code, where immutable is a constraint on type. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
