Libraries and hierarchies

Alastair Reid
Thu, 7 Aug 2003 17:53:53 +0100

On Thursday 07 August 2003 4:29 pm, Ross Paterson wrote:
> [...] to read someone
> else's source code I also need their personalized mappings for the
> various packages they're using.
> So you have extended the syntax of the language: you need a syntax for
> these mappings, and the static semantics operates on ordinary source
> plus this mapping language.

This separate mapping language is starting to sound a little like the module 
language in ML, component linking languages like Units (used in MzScheme, 
Knit and Jiazzi), etc.  It's quite a bit simpler than those languages but it 
has a similar semantic effect.