<p dir="ltr">IMHO this dynamic linking thing is a red herring. In principle any function call becomes potentially impure given eg the ability to shadow symbols. In practice that's not something we do to programs. We could consider having two tables though: an initial tackle generated at compile time that will never change, and an aux table populated as new objects get linked in. Then programs can "opt in" to taking into account new objects loaded dynamically by reading (in IO) the aux table.</p>
<p dir="ltr">Sent from my mobile.</p>
<p dir="ltr">I'll have a look at the new material on the wiki shortly. It would be nice to close out the basic distributed story.</p>