7 Aug
2003
7 Aug
'03
12:53 p.m.
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. -- Alastair