4 ms·

Does anybody know if Rust will reach all those nice goals or are there some theoretical / comp sci reasons why it might fail?

• Rusky 12y ago
  Everything in this article already works (and has for quite some time). The author is using it in production.
  • yoodenvranx 12y ago
    Yes, I know it is working for quite some time, I was more wondering if there are some hidden inherent problems lurking below the surface or if the theory behind rust is sound, e.g. some corner cases where it breaks down or result in undefined behaviour.
    • kibwen 12y ago
      There's not yet any formal model that proves that the borrow checker is sound, but such work is forthcoming.
      • dbaupp 12y ago
        https://github.com/nikomatsakis/rust-redex https://github.com/nikomatsakis/rust-redex
• steveklabnik 12y ago
  Everything in the post works today. This doesn't mean that Rust is absolutely perfect. There's tons of stuff that is awkward to express, and tons of more features that would be nice to have. But the core all works, and works well.