Type systems have been getting better - more nuanced, more accurate/helpful static checking, though the mainstream is proving very, very slow to go away from th

Type systems have been getting better - more nuanced, more accurate/helpful static checking, though the mainstream is proving very, very slow to go away from the C model.