Or perhaps because knowing/reasoning about at least some properties before running a program is a good thing? Optimisation is only one consequence of static typ

Or perhaps because knowing/reasoning about at least some properties before running a program is a good thing? Optimisation is only one consequence of static types. Perhaps the reason is that static type systems are getting better and less intrusive.