It would be more impressive if this wasn't an uphill battle since the late 70's against beliefs.
We would be further down this path if bigger companies really cared to push down this path no matter what, but politics and short term profits always win in the end.
The higher level the language the more code is actually generated by the language for the purpose of implementing services provided by the language and the more the underlying system is abstracted.
There is therefore a trade off and obviously the lower level the code the less suited high level languages are.
While there is a trade off, Burroughs B5000, Xerox Star, IBM 801, Multics, Lilith, Solo are all good examples of what was possible to achieve with 1960 - 70's hardware.
Thanks to Internet and IoT it seems that we might be finally at the turning point where OS security starts to be taken seriously, so lets see how long that resistance keeps to uphold.
It was refreshing to see that a large set of Linux Security Summit 2018 talks were all about how to fix C related issues on the Linux kernel.
We would be further down this path if bigger companies really cared to push down this path no matter what, but politics and short term profits always win in the end.