On Sat, Dec 27, 2014 at 2:02 PM, Jonathan S. Shapiro <[email protected]> wrote: > Readonly is a constraint on code, where immutable is > a constraint on type.
I pointed out something similar just now on the other thread. Whether we think about things as permissions or constraints, I think immutable is a constraint on objects, whereas readonly is a constraint on an aliases/l-values. I think speaking of the permissions "readwriteable" vs. "readable" makes the subtyping rule (readwriteable <: readable) more intuitive than before. (mutable <: readonly) _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
