Restrict Class Properties?

[Miles]

Manfred Nowak wrote:
> What are this concepts good for in terms of provable correctness?

I don't relate the current discussion with code correctness.

The proposal is to differentiate properties from functions, syntactic sugar.

>> The above code does a "little" more than what it really looks
>> like.
> 
> For me that particular lines look like an exit or a system call.

You see a system call there? I see attributions. And more:

	if (fork) ...

What the programmer see is a conditional structure on the value of a
variable named "fork". It is not clear that this calls a system routine
that duplicates the instance of the running program. Same with:

	exit = 1;
	system = "rm -rf /";

The programmer see attributions, but they are not. This is why I say
that the current property syntax is harmful, it allows a lot of language
abuse.