Quoth Jon Wilson <[EMAIL PROTECTED]>: > Sebastian Tennant wrote: >> Quoth [EMAIL PROTECTED] (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
