3 ms·
It has nothing to do with the language. It's all about software architecture and logic. Modern JavaScript is one of the best programming languages in existence.
by cryptica 5y ago
It has nothing to do with the language. It's all about software architecture and logic. Modern JavaScript is one of the best programming languages in existence.
- Glench 5y agoYikes
- remexre 5y agoWouldn't a language with built-in support for proving properties of the code be better? My understanding was that compared to most of the typed functional programming languages, idiomatic JavaScript code is terribly more difficult to prove things about, by hand or machine.
- cryptica 5y agoFormal proofs are a waste of time. You're more likely to make a mistake in the proof than in the code. How do you prove that the proof sets the right expectations? What is the point of proving that software meets certain requirements if these requirements are the wrong requirements and the problem was solved in the wrong way (the problem was solved, but it was the wrong problem; the user did not need that feature to behave like that)? Coming up with the requirements during implementation is the hard part; that's what most developers get wrong. Implementation is easy. Formal proofs might even make software worse since they lock down requirements; potentially in a sub-par way. Not to mention that requirements change. Good code needs to be able to handle changing requirements.