std.xml should just go

so so at so.do
Sat Feb 5 04:26:02 PST 2011


> The case is different --I mean the comparison does not hold IIUC.  
> Virtual methods are /intended/ to be overriden, this is precisely part  
> of their semantics. While the whole point of const-the-D-way is to  
> ensure actual constness as marked in a given function's signature,  
> whatever this function itself calls. The contract is such that the  
> reader does not even need to watch further. Again, IIUC (please correct  
> if I'm wrong on this).
>
> Denis

Well you are thinking with the current usage.

---
const int i;
const A a;
---

Think about these two lines. If this is a C++ code, you can't say much  
about their constness.
But if this is a D code, you can say many things about each line and go  
even further and say their constness is exactly same!
What i am getting at is that if we have this affinity between types and  
constness always a first class attribute why don't we go even further and  
drop the signatures all together and make constness accessible to every  
single D code written. Walter and Steve are talking about the contract  
feature we give to const signature, i am not saying it is wrong or it has  
lesser importance than they claim. I am just questioning if this what CS  
should be.


More information about the Digitalmars-d mailing list