アンセーフコードなしのガベージコレクション

TL;DR

100% セーフ Rust で動作するGCのプルーフ・オブ・コンセプト。ただし Gc<> ラッパー型がエルゴノミクスを大きく損なう。

Key Takeaways

• Gc<> は型をGCアロケータに縛りつける — 既存コードの移行が苦痛
• セーフ Rust で問題が解決可能であることを証明。将来の言語機能がエルゴノミクスの課題を解消できる可能性がある
• Rust の GC プロジェクトは乱立しており、統一したアプローチは存在しない — エコシステムが断片化している

Discussion

トップコメント:

• [swiftcoder]: セーフ Rust で解決可能だという綺麗な証明。エルゴノミクスは犠牲になるが、道は開かれた
• [the-smug-one]: Gc<> ラッパーが型を一つのアロケータに固定してしまう — GCを試すには、まず全型を書き直す必要がある
• [ltratt]: Rust の GC プロジェクトが多すぎて把握しきれない。全体像をまとめた資料もなく、エコシステムは断片化したまま

HNで議論する

原文（英語）: Garbage Collection Without Unsafe Code