Re: How to immutably initialize parent object with private fields?

[Araq]

Sorry about this brief reply.

  1. A readonly visibility like `field+: type` has been discussed before and 
seems rather easy to implement (famous last words).
  2. I'm working on an update for my writetracking analysis that tackles the 
problem more systematically and would capture more then simply mutability like 
which parameters do "escape", which act as pure `out` parameters etc.