3 ms·
No programming language will ever be perfect. But it's still better for everyone to focus on improving one language than to recreate the same ideas across dozen
by deterministic 2mo ago
No programming language will ever be perfect. But it's still better for everyone to focus on improving one language than to recreate the same ideas across dozens of different languages, like a Tower of Babel of duplicated effort.
- eru 2mo agoAre you programming in Fortran?
- deterministic 2mo agoThat's a bad analogy. LEAN is a leading bleeding edge proof verification tool.
- eru 2mo agoFortran used to be the only programming language (and even cutting edge by default). People went off and created new ones anyway.
- deterministic 2mo agoAnd maybe somebody will create something better than LEAN. That has nothing to do with the original argument.