Hacker News new | ask | show | jobs
by deterministic 2 days 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.
1 comments

Are you programming in Fortran?
That's a bad analogy. LEAN is a leading bleeding edge proof verification tool.