Re:Writing a Linux-compatible kernel in Rust
by hnlmorg on Tuesday October 26, 2021 @07:26AM
(#28998978)
I'm not sure that's fair because most of alternatives suggested, eg OCaml, D and Ada, are all a hell of a lot more mature than Rust.
[ Parent
| on HN ]
Re:Writing a Linux-compatible kernel in Rust
by _flux on Tuesday October 26, 2021 @08:18AM
(#28999447)
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 {} :).