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

[Per Bothner]

On 10/14/2009 07:51 AM, David Rush wrote:
> 2009/10/14 Alaric Snell-Pym<alaric at snell-pym.org.uk>:
>>
>> Lambda doesn't work with macros, though, alas.
>
> Oh the Vogonity!
>
> I am starting to suspect that the only truly correct way to move
> forward on macro modularity is to rebase the notion of a Scheme system
> as a purely interpreted textual language. Just throw the notion of
> static analysis out the door. Compilation then becomes a very
> aggressive partial evaluation of the program text.

Is there any implementation that works this way?

When would top-level actions and side-effects happen?

While an interesting idea, I suspect it is too radical a
change from existing practice for standardization.
But perhaps I don't understand what is being suggested.
-- 
	--Per Bothner
per at bothner.com   http://per.bothner.com/