x = x + 1 always annoyed me as a syntax for binding, when first learning programming, coming from using = in equational reasoning in mathematics. x: x + 1 wo

x = x + 1 always annoyed me as a syntax for binding, when first learning programming, coming from using = in equational reasoning in mathematics. x: x + 1 would have been more natural as assignment/binding, imho.