>From the documentation, I don&#39;t think I grasp how stable names work.<div><br></div><div>From the docs:</div><div><div><span class="Apple-style-span" style="font-family: -webkit-sans-serif; font-size: 16px; ">&quot;There is no <tt style="font-size: 13px; ">deRefStableName</tt> operation. You can&#39;t get back from a stable name to the original Haskell object. The reason for this is that the existence of a stable name for an object does not guarantee the existence of the object itself; it can still be garbage collected.&quot;</span></div>
<div><font class="Apple-style-span" face="-webkit-sans-serif" size="4"><span class="Apple-style-span" style="font-size: 16px;"><br></span></font></div><div><font class="Apple-style-span" face="-webkit-sans-serif"><span class="Apple-style-span" style="font-size: small;">From this I can conclude that stable names behave a bit like weak pointers.</span></font></div>
<div><font class="Apple-style-span" face="-webkit-sans-serif"><span class="Apple-style-span" style="font-size: small;"><br></span></font></div><div><font class="Apple-style-span" face="-webkit-sans-serif"><span class="Apple-style-span" style="font-size: small;">However, suppose I have a hash table of these stable names. How can I remove the redundant stable names from the table? I mean removing stable names that refer to an object that is garbage collected? I don&#39;t see any function for checking that (e.g. isStableNameTargetAlive or something)</span></font></div>
<div><font class="Apple-style-span" face="-webkit-sans-serif"><br></font></div><div><font class="Apple-style-span" face="-webkit-sans-serif">Thanks,</font></div><div><font class="Apple-style-span" face="-webkit-sans-serif">Peter</font></div>
<div><font class="Apple-style-span" face="-webkit-sans-serif"><br></font></div><div><font class="Apple-style-span" face="-webkit-sans-serif"><span class="Apple-style-span" style="font-size: small;"><br></span></font></div>
<div><font class="Apple-style-span" face="-webkit-sans-serif" size="4"><span class="Apple-style-span" style="font-size: 16px;"><br></span></font></div><div><font class="Apple-style-span" face="-webkit-sans-serif" size="4"><span class="Apple-style-span" style="font-size: 16px;"><br>
</span></font></div></div>