Well, depends on what you mean with modern static typing. In some ways, mainstream programming is finally catching up with ML, which is from the 1970s.<p>If you mean cutting edge PL research it&#x27;s a different story of course.