[r6rs-discuss] Counter-proposal (Re: Proposed features for small Scheme, part 9: modules)

[Per Bothner]

On 10/14/2009 10:09 PM, Arthur A. Gleckler wrote:
>>> If you wanted to,
>>> could the creation of the Declarations, etc. be exposed as Scheme
>>> primitives in a useful way?  This would allow one to write Scheme code
>>> that wires together existing modules dynamically, and perhaps to
>>> implement your module system at the Scheme level.  Does this make any
>>> sense?
>>
>> Not that I see.
>
> But perhaps your `define-alias' form would be useful for such "wiring?"

Perhaps one could allow an alias to be re-mapped dynamically to
a different "aliasee".  (The compiler tries to "de-alias" when
it can; the would have to be limited.)

But I don't really see what you're aiming for, and why.

I guess one use case is "module signatures", which can be saitified
by different "module providers" (implementations), perhaps with
hot-swapping.  A module signature is basically a set of aliases.
-- 
	--Per Bothner
per at bothner.com   http://per.bothner.com/