[e-lang] POLA and deserialization

[David Wagner]

Kevin Reid writes:
>It isn't that foo contains bits, it's that makeFoo has and uses an  
>authority (entropy). Perhaps I should have used an example of, say,  
>writing the arguments provided to a file.

Ahh, yes, now I understand.  Thank you.

I was misled by my Joe-E intuitions.  I forgot that in E the condition
'foo is DeepFrozen' does not restrict the code of makeFoo.  In Joe-E,
if the class Foo is Immutable, then that imposes some restrictions on
Foo's constructor: as long as all the arguments and lexical enclosing
scope to Foo's constructor are Immutable, then Foo's constructor cannot
do anything that goes beyond what Immutable code can do.