4 ms·

What makes you say "with type inference being where it is"? Have there been recent advancements?

• rtpg 12y ago
  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