Yesterday, Sascha Ziemann wrote:
> Am 20.11.2013 21:35 schrieb "Eli Barzilay" <eli@barzilay.org>:
> >
> > > http://matt.might.net/articles/
> > > metacircular-evaluation-and-first-class-run-time-macros/
> >
> > That uses 3D syntax only as a solution to capturing names in the
> > direction where gensym doesn't help; it uses his fexprs, not
> > implementing them.
>
> This is the implementation of first-class macros:
>
> http://matt.might.net/articles/
> metacircular-evaluation-and-first-class-run-time-macros/meta-circ.scm
>
> And this is the use:
>
> http://matt.might.net/articles/
> metacircular-evaluation-and-first-class-run-time-macros/meta-circ-tests.scm

Right, but read his description and you'll see why 3d-ness is *not*
needed to implement fexprs, it's just a cute thing that can be added
*because* you get first order fexpr values.

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

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports