4 ms·
Programs are not mathematical proofs, and when they are (in systems like Coq) they, maybe, will be better with mathematical notation. Also, all these compariso
by blacklion 3y ago
Programs are not mathematical proofs, and when they are (in systems like Coq) they, maybe, will be better with mathematical notation.
Also, all these comparisons with mathematical notation left out that mathematical notation is not linear and one-font-size-fit-all, as our programs, even in array languages.