• 1 Post
  • 15 Comments
Joined 10 个月前
cake
Cake day: 2024年7月26日

help-circle
  • It’s certainly possible.

    An type system can’t be both sound and cover all cases. Rust had made certain trade offs, and some weird edge cases regarding generic lifetimes still cause UB.

    If you compile to rust you’ll be forced to inherit all the decisions Rust had made over the years, and won’t be able to tune then to your use case. That may it may not be a problem for you.