3 ms·
> There are a few places where this is not true Where?
by QuackingJimbo 9y ago
> There are a few places where this is not true
Where?
- aswanson 9y agoProbably the Apollo moon lander software team, circa 1968.
- avs733 9y agohttps://www.fastcompany.com/28121/they-write-right-stuff https://www.fastcompany.com/28121/they-write-right-stuff
- wyager 9y agoThis article bothers me because it implies that the path to correct code is simply to have code written by white-collar salarymen (as opposed to unkempt youth), and not improved formal methods.
- avs733 9y agoIt doesn't imply there is a correct path to code. It implies that the best path to the goal for this program is to minimize the opportunity for exhaustion to be a variable.
- andai 9y ago> That’s the culture: the on-board shuttle group produces grown-up software, and the way they do it is by being grown-ups. It may not be sexy, it may not be a coding ego-trip — but it is the future of software. When you’re ready to take the next step — when you have to write perfect software instead of software that’s just good enough — then it’s time to grow up.
- gaius 9y agobut it is the future of software It's over two decades since that was written. I remember reading it when it was first published. Does it look much like the future?
- andai 9y agoIt might not be the future of software, but it's the software of the future, in the sense that it's what enabled us to get to the moon, and will enable us to get to Mars.
- wyager 9y agoShops that use strongly-typed functional languages are, in my experience, a good bet. They usually made that choice because they have an unusually compelling need to write correct code. Aerospace also has a few sub-industries where correctness is priority #1 (like commercial autopilot software).