ld as a functor

Sorry, this is a bit off-topic, and is perhaps a long shot.

At work, something came up which made me think of a paper I might have
read some time ago (or let's say, what I'm doing is inspired by it):
it's about ld (the UNIX link editor/static linker) as an ML functor.
But I can't find an online reference to it.  Does anybody know if
something like this ever existed?

The historical development may have gone in the opposite direction;
functors as a way to do type-safe later binding, and that could have
been based on the experiences with UNIX-style link editors.

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot