[plt-scheme] [redex] language keywords

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Thu Jun 3 19:23:10 EDT 2010

Great! and yes, I *fully* agree, it is getting better and better,

Thanks for all the great work!

-- Éric

On Jun 3, 2010, at 6:53 PM, Robby Findler wrote:

> Oh, duh. There was no bug; I just made a mistake. I've updated the web
> page and it will get sync'd up at some point in the next 6 or hours, I
> believe. Thanks for pointing out the problem.
> Robby
> On Thu, Jun 3, 2010 at 5:27 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>> On Thu, Jun 3, 2010 at 9:09 AM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
>>> Is this 'where' clause something that was introduced somewhat recently?
>>> I remember from my first redex examples that the way to introduce a new identifier for instance was with ,(term-let ...).
>> Somewhat. As we gain experience (and your experience has been quite
>> helpful in this regard), Redex evolves to become better. I think you
>> already agreed this was better, no?
>>> The same question goes for the definition of metafunctions. For instance, the definition of lambda-v on the web:
>>> http://redex.plt-scheme.org/lam-v.html
>>> for the subst metafunction, uses ,(term-let ...) to introduce (x_new ...)
>>> It seems the preferred way to do that now would be with a where clause, right?
>> Right.
>>> (I was surprised actually when seeing in the doc that term-let was low-level and not meant to use, while it was--and still is in some cases-- used in the simple introductory examples of plt redex)
>> This was me not updating the website. Thank you for pointing it out. I
>> looked into updating it, but I found a bug in redex, so I'll leave it
>> alone until that gets fixed.
>> Robby

Posted on the users mailing list.