[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Scheme-reports] Proposal to add fexprs
Yesterday, Sascha Ziemann wrote:
> Am 20.11.2013 21:35 schrieb "Eli Barzilay" <eli@x>:
> > > 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:
> And this is the use:
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