This is personal impression, but there haven't really been any advances in research per se, but there's been a lot of advances in tooling. Now having type infe

This is personal impression, but there haven't really been any advances in research per se, but there's been a lot of advances in tooling. Now having type inference is an "expected" feature of most languages, now that there's a good amount of institutional knowledge. Along with first-class functions and the like. These are old things but it takes a while to propagate