> Now, it would be interesting to know what others think about the need > for dynamic loading in Plan9.
the mechanisms are probably not much used yet outside Plan 9's emu for Inferno but [58q]l support dynamic loading in a way that unusually provides type checking, and structured in a similar way to Inferno's Dis modules. ?l can produce loadable modules that contain two sets of type-tagged symbols, one set to be imported from the surrounding environment and the other to be exported to it. there is a small supporting library. economically, it uses the same type checking mechanism that is used statically by ?l. or to put it another way, the mechanism was designed to support both.
