SRFI 124のドラフトが公開されています。これは ephemeron というデータ構造を Scheme の新しいデータ型として加える提案です。Ephemeron は key
と datum
という2つの要素からなるペアのようなものですが、key
への参照が高々 datum
からのみと証明された時点で garbage collection できるというものです。
このようなデータ構造が有用になるケースは元の論文で挙げられており、ぜひ実装されてほしいと期待されます。ただ、トリビアルでない実装は garbage collector の振舞いに関係するため、実装を正しくテストするのは難しそうです。