3 ms·

> Graydon also wrote Monotone, the source control system whose internal design Git is based on. Huh. I wonder if that played a part in Torvald’s being open to

• kragen 4y ago
  It's an interesting question, but I suspect that the technical attributes of Rust as it exists today play a much larger part in Torvalds's choices than does its origin many years ago. In particular, Rust is less error-prone than C, rather than more so (as is arguably the case for C++), and it does not require the importation of a large runtime into the kernel. And, unlike for example Lua or Scheme, a number of kernels have already been written in Rust, some of which are already fairly full-featured: https://github.com/flosse/rust-os-comparison https://github.com/flosse/rust-os-comparison
  • nextos 4y ago
    Also Rust semantics is more amenable to formal verification. This might have major implications in 5-10 years time.