4 ms·
>The current state of Rust is a moving target for such tools and design methods. Publish a formal language standard first. Would it be just easier to use somet
by vmfunction 2y ago
>The current state of Rust is a moving target for such tools and design methods. Publish a formal language standard first.
Would it be just easier to use something like OCaml? where it offers the memory safety and a mature language.
- dequan 2y agoGarbage collection seems like a significant no-go for many safety critical systems. Other oddities like 31 and 63 bit numbers probably aren't a big deal but are still weird. "Mature" seems like a stretch when OCaml only got proper multi threading 1.5 years ago.