Re: [9fans] dhog the corruptor!

[Quinn Dunkan <quinn@barf.ugcs.caltech.edu>]

> I don't care about python or perl (so shoot me!).  But my experiences
> with limbo have taught me that loadable modules can be a powerful
> tool.  Limbo also has type signatures, which I have no plans to add
> at this stage.

Yeah, trying to maintain static signatures is a whole other kettle of wax.  I
was thinking of dynamically typed languages, though.

> > If the linker can write relocation information, would that
> > make it easier to write a dlopen()-like function?
>
> We're not trying to load actual libraries here, but rather modules
> of executable code.  Said modules will have a single entry point
> (which can be a struct, as it is for device drivers).

That'll work well enough for me.  Single entry point could be a struct of
generic object pointers or a function that installs names in a namespace.

Cool!

forsyth:
> type checking is often ignored in these interfaces.
> with static linking #include and mk are often adequate if
> not perfect, but dynamic linking increases the chances for
> error.

AFAICT, though, dynamically typed languages don't have to worry about it.
Skeptics would say "that's because the chances for error are already at
maximum and can't be increased" :)