[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Dynamic variable binding
From: |
Sebastian Tennant |
Subject: |
Re: Dynamic variable binding |
Date: |
Sat, 15 Nov 2008 16:59:45 +0000 |
User-agent: |
Gnus/5.110011 (No Gnus v0.11) Emacs/22.2 (gnu/linux) |
Quoth Jon Wilson <address@hidden>:
> Sebastian Tennant wrote:
>> Quoth address@hidden (Ludovic Courtès):
>>> Dynamic binding definition is compilation-unfriendly. Kjetil's
>>> proposed `define-lotsof' macro is more appropriate, as it can be fully
>>> evaluated at compile-time (should a compiler be used, that is),
>>> whereas the `module-define!' trick requires that compilation and
>>> execution be the one and same phase.
>>
>> Ah, interesting. Noted. Thanks again (to Kjetil also).
>
> Furthermore, the lack of separation between what is compiled and what
> is executed causes problems with defining a module system that
> understands hygiene. It took me a while to understand this, but
> finally sitting down and grokking Matthew Flatt's paper "Compilable
> and Composable Macros: You Want it When?" got it through my skull.
>
> http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.4008
This looks like a very useful (and comprehensive) paper. Thanks.
Sebastian