On 14 Oct 2009, at 6:17 am, Brian Harvey wrote: > > It seems to me that anyone who wishes to apply the adjective > "Schemely" to a > module/package system other than LAMBDA faces a very high burden of > proof. > Certainly anyone who proposes a module/package system other than > LAMBDA for > WG1 Scheme faces an /extremely/ high burden of proof. >
Lambda doesn't work with macros, though, alas. Although when I designed a module system as a young whippersnapper, I came up with clever compilation techniques that allowed macros to be treated almost like first-class values as long as they can all be resolved at compile time, thereby meaning they can be passed through LAMBDAs as long as they're all appliable at compile time, which neatly solved THAT problem. I posited (but never got round to writing) a module system that did just expand into LAMBDAs :-) ABS -- Alaric Snell-Pym Work: http://www.snell-systems.co.uk/ Play: http://www.snell-pym.org.uk/alaric/ Blog: http://www.snell-pym.org.uk/archives/author/alaric/ _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
