What makes a good module system?
What is a module?
s a module is a file that holds a bunch of classes, to make it easy to transfer classes between different systems.
s allow the breakdown of a software system (or the bundling of single types and procedures) into packages where the contents of a package share a namespace and can be selectively exported to and imported from other packages.
's paper "Program fragments, linking, and modularization", available from
defines an advanced module system that allows modules to be parametrized with other modules (ParametricModules
, called functors). Also see XavierLeroy
's paper "A
for an online bibliography of (somewhat
-specific) papers about modules and
for a mini-bibliography of research papers related to
View edit of
December 18, 2004
with title or text search