Discussion on r/rust: https://www.reddit.com/r/rust/comments/gfgt1b/rustlike_langu...
I look at this and I think it's a innovative and promising idea - the freedom of a garbage collected language, but with the tracing done as a type-aware static analysis, and the cleanup code inserted at compile-time!
https://www.csail.mit.edu/event/safe-parallel-programming-pa...
https://chapel-lang.org/docs/master/builtins/OwnedObject.htm...
And a couple more with affine types, or algebraic effects.
Yes, this might be the future, but we are still far from the overall convenience of GC for common programming scenarios.
If anything one was to thank the Rust community for pushing more people to look into this area, regardless of its outcome in the language market.
https://www.csail.mit.edu/event/safe-parallel-programming-pa...
https://chapel-lang.org/docs/master/builtins/OwnedObject.htm...
And a couple more with affine types, or algebraic effects.
Yes, this might be the future, but we are still far from the overall convenience of GC for common programming scenarios.
If anything one was to thank the Rust community for pushing more people to look into this area, regardless of its outcome in the language market.