Re: [PATCH for Dlang support] d: add support for lookahead correction

Akim Demaille <[email protected]>
Newsgroups gmane.comp.parsers.bison.patches
Message-ID <[email protected]>
Hi H.S.,

> Le 18 nov. 2020 à 13:44, H. S. Teoh <[email protected]> a écrit :
> 
> D unfortunately does not have "logical const".

Yeah, I ventured that.  But I'm not sure one can call this "unfortunate".
It might well be one of these nice ideas that end up making things way
more complex.

I like having it in C++, but whether it is truly a blessing, that I don't
know for sure.

> It has "physical const"
> which is mechanically enforced by the compiler.  Furthermore, const is
> "infectious" (transitive): once a reference is marked const, everything
> it refers to is also const, as far as can be seen via that reference.  A
> const reference can refer to a mutable object, but you cannot modify the
> object through that reference, it can only be mutable through a mutable
> reference.

These are clear, simple, intuitive rules.

Thanks for insight.

Cheers!
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.