Add rebind operator ^

[KennethL]

A new operator to be used in front of variables to indicate that the variable should be rebound is proposed.

[KennethL]

Don't like the idea because it is incompatible

[KennethL]

What do you mean with incompatible? Old code will still work

[KennethL]

Very good then we can get rid of code like this:

State1 = call(P,State,init),
State2 = call(P,State1,continue),

And write like this instead:

 ^State = call(P,State,init),
 ^State = call(P,State,continue),

[uabboli]

I wish people quit naming the variables 'V1', 'V2', &c. Use 'V10', 'V20', and the "problem" disappears. Or even 'V100', 'V200', ...!

I assume, of course, that renaming variables when inserting something new is the only issue.

[HansN]

or use a functional style:
call(P, call(P,State,init), continue)

[KennethL]

The functional style does not work if a function returns {ok, State1} = call(P, State, init).