I strongly disagree.
  • Doing formal proofs under premises is hard enough. Don't make it even harder.
  • Code or pseudocode would be super dangerous because people would use it instead of using battle-tested foss implementations build-in into programming languages and frameworks
I get that point. But I would also say that the inherent excessive complexity of object oriented programming language syntax should also be abandoned already. Supposedly rust cures C++ common vulnerabilities but then again, I guess C++ people love their complexity.
So do hackers.
Also, these languages and frameworks change as fast as fashions. There needs to be a stronger orthodoxy and conservatism in development. Really not many things change, except for the constant of corporations bloating software until the hardware improvement is invisible.
reply