This is why (the keyword) pure in D (mentioned in the article) asserts that the function does the same thing for the same input - not necessarily the same output. Side effects are still reasonably possible, just not launching the missiles.

Strong purity can be checked by having immutable arguments.