&gt; does not need a good type system<p>Yeah, I&#x27;m just saying that &quot;higher kinded types&quot; (which, again, Rust isn&#x27;t getting anytime soon), does not make Rust something that isn&#x27;t targeting systems programming; in response to &quot;you folks are really targeting C&#x2F;System programmers&quot;.<p>Many of Rust&#x27;s designers are experienced systems programmers. A _lot_ of effort goes into making it systems-ready.<p>&gt; it is about what minimum you need to bootstrap a system<p>Rust works on any target LLVM compiles to, and you can opt out of the standard library if you&#x27;re writing baremetal things. There already are people writing low level Rust things.<p>But yeah, I know the skepticism you refer to; seen it in action before. But in the case of Rust I&#x27;ve rarely seen any concrete points being brought out (aside from perhaps &quot;LLVM doesn&#x27;t target enough things&quot;, which is fair). The language developers do try to take input from everyone and make it more systems ready; but there really isn&#x27;t much that can be done when there isn&#x27;t any input other than a strong preference for C.