Yeah clarity is nice but no, sometimes we want less power.<p>Until some one invents the sufficiently oracular compiler power often prevents various effort saving&#x2F;performance boosting tricks, which is what 2&#x2F;3 of the article is giving evidence of. Also: formally verifiable code and static analysis.