[r6rs-discuss] Counter-proposal (Re: Proposed features for small Scheme, part 9: modules)
per at bothner.com
Wed Oct 14 14:37:38 EDT 2009
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 at bothner.com http://per.bothner.com/
More information about the r6rs-discuss