[0atman]

Linus Tovalds is not an easy man to please. You're saying he's been fooled by marketing?

Sometimes tech is really good, dude, it's ok, don't die on a weird hill, not everything is shit.

[c_crank]

I don't think Linus was pleased or fooled. I think that there hasn't been a bunch of eager beavers trying to write Linux drivers in other languages until Rust.

[0atman]

C++ was rejected as a driver language. All those other languages you mentioned also are also not suitable. Why could this be?

[cb321]

I don't know about Ada+Spark, Cyclone, D, but, since it can compile to C, you can write Linux kernel modules in Nim without Linus' permission / specific "help" from the Linux kernel team: https://forum.nim-lang.org/t/10303

(Yes, not stock Nim, but in that Araq expresses an interest in that thread in supporting said in stock Nim.)

This is one advantage to a C/C++ target in addition to trying to optimize the actual emitted assembly from gcc/clang/etc. It also helps when LLVM may not support your CPU, but you have a C compiler, such as in some embedded spaces. There are trade-offs, of course, as with everything.

[c_crank]

Linus and many other people hate C++ for having strange compiler rules and a kitchen sink approach. Ada, for a long time, was linked to a proprietary government supplied compiler, and also did not have many volunteer developers available. Cyclone was garbage collected, and Linus prefers not to deal with garbage collecting. I don't think he's ever commented on D, it's an obscure language.