documentation and papers about const/invariant

[Sean Kelly]

Robert Fraser wrote:
> Sean Kelly wrote:
>> Dee Girl wrote:
>>> There is a little documentation about const invariant on the web 
>>> site. I read it. And also I read ACCU-functional. Is there more 
>>> documentation? Like conference paper or manual. Does Tango book 
>>> document const? Thank you, Dee Girl
>>
>> At the time of writing, the design of const/invariant didn't seem 
>> finalized so we left it alone.  And as far as I know, there are no 
>> papers or manuals on the subject.  Nor documentation of the thought 
>> process behind the design.
> 
> There's http://www.digitalmars.com/d/2.0/const.html

It sounded like Dee Girl was asking for a formal paper or proposal.


Sean