But the purity is implicit. Nothing will stop you from refactoring add into an impure function. As a programmer you have to maintain this mentally by rememberin

But the purity is implicit. Nothing will stop you from refactoring add into an impure function. As a programmer you have to maintain this mentally by remembering which types are pass by value and which are pass by reference.