When FORTRAN gained equality it went for .EQ. out of practicality and necessity. Many others followed suit but used the somewhat more pleasant == instead of .EQ..
But it didn’t have to happen that way. ALGOL decided to stick close to mathematical tradition:
= for equality
:= for assignment ("definition")
While x := x + 1 is still not clean mathematical notation, I think it wouldn’t have riled up OP’s father as much. If he’d squinted enough, he might even have been able to see little indices below the x’s there.
x := 4
was chosen because it looks similar to x ⇐ 4The Xerox keyboards had the support for ⇐, with its workstation OSes being all graphical based.
When Smalltalk grew beyond Xerox PARC walls, ⇐ turned into :=
You can see this in the original Xerox PARC documents and books for Smalltalk.
X is 5
X is x + 5
I kid, of course, but "X is x + 5" brings Prolog to mind with all the unification and bidirectionality that implies.
Grammatically, this would not change X. "...GIVING X" would just return X. Since it's part of the same statement, it seems it should ignore the "ADD 5 TO X" part.
Now, if you'd like to place the result into X, I suggest "ADD 5 TO X" would suffice as the entire statement.
x is 5
x is x + 5
Set x to x + 5
Except that COBOL doesn’t allow an arithmetic expression there, so you have to write
COMPUTE X = X + 5.
instead. ;)And now we have all 3 in Python (=, ==, and :=) which makes me sad.
if is_logged_in=True:
allow_access()
I've got... opinions on the way python separates statements and expressions, but there's some real benefits to it too. is_logged_in := True
or if is_logged_in := True:
I agree that this would require blurring the statement/expression distinction. You can still do that in a weird way, by disguising your assignment as an expression. This is valid: (is_logged_in := True)
The reason it was done that way because := was an afterthought, and making it the assignment operator would have introduced a breaking incompatibility. That lead to having 3 different symbols for 2 use cases (assignment and comparison).:= was bolted on after of course, and I think that was a mistake, but no one asked me, nor do I expect anyone to ;P