New programming languages aren’t usually examples of novel advances in type theory. They’re usually just novel combinations of existing features. They’re still “bleeding edge” in the sense that they’re what the industry will be using in 20 years.