Hacker News Reader

Discussion on r/ProgrammingLanguages: https://www.reddit.com/r/ProgrammingLanguages/comments/gfgn0...

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!

View on HN

It is not the only one

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.

Reply on news.ycombinator.com