Restrict Class Properties?

[Manfred Nowak]

Jarrett Billingsley wrote

>> What are 'real properties'?
> 
> True properties would be understood by the compiler as a distinct
> construct, rather than a hackish rewrite of assignment into a
> call.

But what are the benefits of "distinct constructs" in terms of provable 
correctness? Btw. using the assignment symbol as an alternative for a 
call seems very canonical to me.

> This would allow, among other things, for templated
> properties;

What are "templated properties"? Are you really declaring, that a 
"real" property is a "tempülated" property?
 
> properties as the destination of op=, ++, and --;

That is already possible, except you do not want to buy such.

> the abolishment of the '&' when getting the address of a function
> or delegate.

I don't understand that. Would you please elaborate on that?

-manfred