Garbage Collection Without Unsafe Code

Article

TL;DR

Proof-of-concept GC in 100% safe Rust works, but Gc<> wrapper types hurt ergonomics significantly.

Key Takeaways

• Gc<> forces types to bind to the GC allocator — migrating existing code is painful
• Proves the problem is solvable in safe Rust; future language features could fix the ergonomic gaps
• Multiple competing Rust GC projects exist with no consensus approach — fragmented ecosystem

Discussion

Top comments:

• [swiftcoder]: Neat proof that it’s solvable in safe Rust; ergonomics suffer but the door is open
• [the-smug-one]: Gc<> wrapper locks types to one allocator — trying a GC means rewriting all your types first
• [ltratt]: Too many Rust GC projects to track; no unified overview exists — ecosystem is fragmented

Discuss on HN