Scalable modules in Generic Modula-2

Abstract

It is conventional wisdom that modules are not scalable in the same sense as functions and classes. That is, while calls to many functions can be assembled as a single function, and the addition of new facilities to a class (in a subclass) forms a new class, a collection of modules is not a module. Standard Generic Modula-2, however, introduces an original technique of refining generic modules as local modules that does provide a means of combining into a single new module the refinements of one or more existing generic modules, possibly with the addition of new facilities.