On Fri, Mar 2, 2012 at 3:47 AM, Marijn <hk...@gentoo.org> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > On 01-03-12 21:31, Jon Rafkind wrote: >> Recent problems with phases have led me to investigate how they >> work in more detail. Here is a brief tutorial on what they are and >> how they work with macros. The guide and reference have something >> to say about phases but I don't think they go into enough detail. > > Nice write-up Jon. > > Towards the end you give an example using syntax/parse and for that > apparently you need to use for-template which introduces bindings at > phase -1. Unfortunately phase -1 is not explained. One other thing > that could use some explanation is why racket uses phases in the first > place, given that other systems (I believe Larceny is the prime > example) have implemented a phase-less or phase-inferring macro system. >
FWIW, I think some of these questions are answered here: http://www.cs.utah.edu/plt/publications/macromod.pdf Robby ____________________ Racket Users list: http://lists.racket-lang.org/users