Many concepts inspired from math and used in programming do not correspond anyway. In programming 'functions' can have side effects, 'variables' can be mutated

Many concepts inspired from math and used in programming do not correspond anyway. In programming 'functions' can have side effects, 'variables' can be mutated, 'integers' have upper / lower bounds etc. Although I agree that some notations are probably unhelpful, I still find nice that it can be done.