> If it was truly the case, there wouldn't be any PL research anymore. :o) What? There is plenty of interesting ongoing PL research (e.g. a "perfect" solution

> If it was truly the case, there wouldn't be any PL research anymore. :o) What? There is plenty of interesting ongoing PL research (e.g. a "perfect" solution to combining subtyping with type inference was only found quite recently). But some languages are happy to ignore results from 50 years ago.