4 ms·

What is the right problem? What would you _like_ Rust to be solving?

• macintux 5y ago
  Erlang addresses the memory safety problem to my satisfaction. I'm not eager to embrace the verbosity of a language like Rust until we get closer to a guarantee that if code compiles, it's logically correct as well as safe.
  • api 5y ago
    The latter is not possible without some kind of strong AI. The compiler can’t know your intention.
    • macintux 5y ago
      Then I’ll be waiting a while!