On 23/03/2011 5:56 PM, Jonathan S. Shapiro wrote: > Among other consequences, this means that in a language having init-only > fields and inner-references, a structure consisting exclusively of > init-only fields is not necessarily pure...
I'm not sure the example implies this conclusion. 'Container' clearly is not init-only. Is it really surprising that introducing mutability anywhere in a path means the purity of our immutable structures changes? Use of mutability, inner refs, etc. merely need to be possible and sound. The example you provided is a hazard of working with any sort of mutability, and I wouldn't fret over it. Sandro _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
