4 ms·
They do more than bake it into the type system. They allow immutable types to be assigned to mutable types. But they don't allow those values to be mutated, e
by kenjackson 12y ago
They do more than bake it into the type system. They allow immutable types to be assigned to mutable types. But they don't allow those values to be mutated, even from the mutable types.
That is type checking fails when you try to violate the constraint of the type, not when you assign one type to another that is incompatible.
- DannyBee 12y agoWhich is a fairly simple application of well known typestate analysis?
- kenjackson 12y agoI'm not sure it's simple, but it is related. If you read their paper you'll see they talk about the relationship of this work to Bierhoff and Aldrich's paper "Modular TypeState Checking of Alised Objects" and Naden, et al's paper on Permissions.