As much as I like OCaml, I doubt we'll ever see a tracing garbage collected language in the Linux kernel. Also neither OCaml nor D make any attempts at stoppin

As much as I like OCaml, I doubt we'll ever see a tracing garbage collected language in the Linux kernel. Also neither OCaml nor D make any attempts at stopping data races, which is sort of a selling point of Rust. Ada/SPARK, I suppose do, but I don't know at what cost; I'm sure though Rust syntax will feel more familiar to C developers than Ada, even if a lot of Rust syntax comes from ML. But it has {} :).