[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: contours, locales and modules.
What I would like to see is a DECLARATIVE mechanism which describes
directly the connectivity of a program. Given some packages, one
could then declare relations between the free variables in one package
and the defined variables in another. But the description of the
relationship between the packages should be separate from the
descriptions of the packages themselves.
Start by reading about Mesa. It has all the properties you want, including
a declarative language for binding modules together (matching exports