Earlier quoted context omitted.
But that implies that no one needs a different OS than Windows NT or Unix. People are constantly coming up with reasons to have new programming languages. Are there no reasons to justify a new OS?
Unix, in the sense that we talk about it today, is not an operating system, but a family of operating systems that is based on the original Unix. Linux is Unix in the same way that C is Algol. In the grand scheme of potential languages/operating systems they are very similar, and familiarity with one will transfer well. However, if you consider the ML family of languages (Haskell/Ocaml), or the Prolog family, you wil…
Actually, despite its syntax, Rust is more closely related to the ML family than the Algol family. The original Rust compiler was written in OCaml and it definitely shows in the algebraic data types, functional idioms, and immutability by default.
More to the point, maybe a new OS could gain meaningful adoption by seeming superficially like Unix while actually taking significant inspiration elsewhere.