On 10/14/2009 07:51 AM, David Rush wrote:
> 2009/10/14 Alaric Snell-Pym<[email protected]>:
>>
>> 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
[email protected] http://per.bothner.com/
_______________________________________________
r6rs-discuss mailing list
[email protected]
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
