The scary part is that researchers have been working on making software more reliable for the past ~50 years, with really good results. Industry? Nah, except fo

The scary part is that researchers have been working on making software more reliable for the past ~50 years, with really good results. Industry? Nah, except for a few niche cases, we've been adopting a worse is better approach, thank you very much. It's only been a few years since developers (outside of these niches) stopped laughing when hearing about sound static type checking, static analysis, model checking, object capabilities, abstract interpretation, message passing APIs, getting rid of NULL, reactive programming, stream programming, let it fail, transactional memory, linear types, etc. Of course, at the same time, we moved everything to web programming, where everything is broken for different reasons. Research has been studying that for a couple of decades, too, so I figure we should start using more robust paradigms within 10-20 years.