We have historical precedence in ALGOL. From its Wikipedia page, it "was the standard method for algorithm description used by the Association for Computing Machinery (ACM) in textbooks and academic sources for more than thirty years."
When was the last time you saw ALGOL?
In parallel, we can also look to APL, which arose out of a mathematical notation for arrays. From https://codegolf.stackexchange.com/questions/162254/generate... the Walsh matrix in APL (Dyalog Unicode) is (⍪⍨,⊢⍪-)⍣⎕⍪1. For those who think in APL, I suppose that makes obvious sense.
ALGOL users and APL users would never agree on a single language.
You will not get C and Mathematica users to agree in a single language.
You will not get Python and Rust users to agree on a single language.
People doing computer assisted proofs use tools like the Coq Theorem, which has its own language.
We have historical precedence in ALGOL. From its Wikipedia page, it "was the standard method for algorithm description used by the Association for Computing Machinery (ACM) in textbooks and academic sources for more than thirty years."
When was the last time you saw ALGOL?
In parallel, we can also look to APL, which arose out of a mathematical notation for arrays. From https://codegolf.stackexchange.com/questions/162254/generate... the Walsh matrix in APL (Dyalog Unicode) is (⍪⍨,⊢⍪-)⍣⎕⍪1. For those who think in APL, I suppose that makes obvious sense.
ALGOL users and APL users would never agree on a single language.
You will not get C and Mathematica users to agree in a single language.
You will not get Python and Rust users to agree on a single language.
People doing computer assisted proofs use tools like the Coq Theorem, which has its own language.