Linux

6174 readers

304 users here now

A community for everything relating to the GNU/Linux operating system

Also check out:

Original icon base courtesy of [email protected] and The GIMP

founded 2 years ago

MODERATORS

[email protected]

118

'Key kernel maintainers' still back Rust in the Linux kernel, despite the doubters (www.theregister.com)

submitted 2 weeks ago by [email protected] to c/[email protected]

33 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 1 points 1 week ago (1 children)

So, a couple of thoughts. You can absolutely write safe code that produces wrong results. Rust doesn't help - at all - with correctness. Even Rustaceans will agree on that point.

I agree that Rust is safer than C; my point is that if correctness and safeness is the deciding criteria, then why not use Haskell? Or Ada? Both are more "safe" even than Rust, and if you're concerned about correctness, Haskell is a "provable" language, and there are even tools for performing correctness analysis on Haskell code.

But those languages are not allowed in the kernel, and - indeed - they're not particularly popular; certainly not in comparison to C, Go, or Rust. There are other factors than just safety and correctness; otherwise, something like OCaml would probably be a dominant language right now.