
16 Jun
2014
16 Jun
'14
11:13 p.m.
Hello,
Mikhail Vorozhtsov
I also worry (although not based on anything particular you said) whether this will not change meaning of any existing programs. Does it only allow new programs?
As far as I can see, no change in meaning. Some hacky operators and some hacky identifiers would become illegal. And some nicer ones would become legal.
I do not have an opinion for or against the proposal, but I just wanted to point out that the proposal changes the meaning of some programs, at least in theory. The following function currently evaluates to True, but with the proposed change, I think that it will evaluate to False. test = let a = () b = () a′b = False in let c′d = True in a′b Best regards, Tsuyoshi