I mean conditions exist in math already and I'd argue that there is a bigger chance qwerty is still the default keyboard layout than your Python 3 program worki

I mean conditions exist in math already and I'd argue that there is a bigger chance qwerty is still the default keyboard layout than your Python 3 program working in 500 years. How many of the popular languages even have formal specifications to use as a reference when the next CPU architecture comes along, or the next ABI? The tools exist but I don't see people rushing to Modula-2 for example, which has. It does remind me a bit of this paper "Boosting Vector Calculus with the Graphical Notation" [1], but we instead have over ten thousand only partially defined ones. But I can agree that my view of math is a bit too rosy. [1]: https://arxiv.org/abs/1911.00892 https://arxiv.org/abs/1911.00892