fixedpoint.jp


SRFI 124: Ephemerons について (2015-09-08)

SRFI 124のドラフトが公開されています。これは ephemeron というデータ構造を Scheme の新しいデータ型として加える提案です。Ephemeron は keydatum という2つの要素からなるペアのようなものですが、key への参照が高々 datum からのみと証明された時点で garbage collection できるというものです。

このようなデータ構造が有用になるケースは元の論文で挙げられており、ぜひ実装されてほしいと期待されます。ただ、トリビアルでない実装は garbage collector の振舞いに関係するため、実装を正しくテストするのは難しそうです。


© 2006-2023 fixedpoint.jp