I am aware. And as I said, I hope he spends some time learning about programming languages and programming language research. Not just a tiny subset of virtua

I am aware. And as I said, I hope he spends some time learning about programming languages and programming language research. Not just a tiny subset of virtually identical languages that are not used for research. Look at what he has published. His work has been entirely in the world of unityped languages, and his characterization of type system research is that "some stuff has happened but I don't know what it is and its types so who cares". Making claims about programming languages as a whole requires a far broader knowledge base than he appears to have acquired. Very deep knowledge in a very small space is certainly very useful, but not for making general statements about broad topics.