Earlier quoted context omitted.
> Mathematical notation evolved a lot in the last thousand years That is not counter to what I'm saying. Mathematical notation Programming Languages. Proofs Code. When mathematical notation evolves, old proofs do not become obsolete! There is no analogy to a "breaking change" in math. The closest we came to this was Godel's Incompleteness Theorem and the Cambrian Explosion of new sets of axioms, but with a lot of wor…
> When mathematical notation evolves, old proofs do not become obsolete! There is no analogy to a "breaking change" in math. I disagree. The development of non-euclidean geometry broke a lot of theorems that were used for centuries but failed to generalize. All of a sudden, parallels could reach each other. > Can we write a family of nested programming languages where core features are guaranteed not to change in bre…
What do any of these have to do with guarantees of long-term compatibility? I'm not arguing that there should be One Programming Language To Rule Them All, I'm asking about whether we can design better guarantees about long-term compatibility into new programming languages.