[racket] phases

On Fri, Mar 2, 2012 at 3:47 AM, Marijn <hkBst at 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