Benefits and costs of writing a Posix kernel in a high-level language (2018) [pdf]

You can avoid GC programming in GC'd language (we have over 40 years of data on how to do that!), but you can't retrofit GC onto non-GC language and get full benefit (though Boehm GC is still going to make your C/C++ program better for all parts that use naive malloc/free scheme)

Also https://news.ycombinator.com/item?id=24572370

> manages to get within 5-15% of a traditional kernel for the things they measured. That is impressive.

Top comment from the linked thread.

This is a bit out of context. 5-15% in any measurements to mainstream software is too easy. Even if it's operating system. We all know that.

This is why almost any papers that compare a research project's products with a mainstream production one in terms of performance is usually just for establishing context than actually comparison.

Personally, I'd definitely call Go high-level.

Some people go as far as to say that C is a high-level language, but I find that ridiculous.