Academic papers are often very disconnected from industry reality. I’ve worked on reliability at a company everyone has heard of for software that billions use

Academic papers are often very disconnected from industry reality. I’ve worked on reliability at a company everyone has heard of for software that billions use daily. So many bugs would have been blocked by having a type system at all (dynamic languages on backend or JS on web) or by having a less bad type system (changing ObjC to Swift and Java to Kt on mobile). Null pointers/references alone have created so many bugs for us. Bugs that could have been compiler errors.