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.