[racket-dev] syntax-property guards? (was: Re: The Stepper strikes again)

From: Eli Barzilay (eli at barzilay.org)
Date: Tue Aug 16 17:39:03 EDT 2011

6 minutes ago, Matthias Felleisen wrote:
> Eli is right in principle. I sense that we are facing the same kind
> of problems we faced when we created mixins and then again when we
> created continuation marks.  We need annotations time and again and
> they couple parts of our system more closely than necessary. Problem
> is, we don't seem to see or have an abstraction that eliminates this
> coupling.

Maybe a good (re-)start would be to specify the required functionality
more precisely?  Maybe follow the recipe and start with short examples
of what's needed?

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.