Because people are realising in general how good type systems can help at preventing such errors? The well was poisoned for a while with terrible type systems t

Because people are realising in general how good type systems can help at preventing such errors? The well was poisoned for a while with terrible type systems that provided either marginal safety or were just horrible to work with (e.g. complete lack of inference) but that is now seriously changing.