It seems like there is a sound case for a ‘pure’ keyword

“It seems like there is a sound case for a ‘pure’ keyword in future C/C++ standards.”

(A quote from id Software co-founder and technical director John Carmack in this article. I wrote about using an impure annotation in Scala many moons ago.)