I think it would be better said that contemporary languages should consider research in PL design and type theory over the last few decades. There is a trend it

I think it would be better said that contemporary languages should consider research in PL design and type theory over the last few decades. There is a trend it seems to discard it as "academic" (never mind the academics need to be brought in eventually, as in Go's generics). It feels like there's a lot of wheel reinvention going on, all the time. Especially with systems languages. Rust is the one that seems to "get it" (bite the bullet on syntax and learning curve, but give you reliable software that is pretty fast). I'm still waiting on Jai to be made public to see what is going on there.