[plt-dev] help

From: Eli Barzilay (eli at barzilay.org)
Date: Fri Apr 17 15:46:03 EDT 2009

On Apr 17, Matthias Felleisen wrote:
> Well what we have now is way way way suboptimal as even experienced
> FPers (thought not Schemers) in our lab get tripped over this stuff.
> 1. I had forgotten that context narrowing exists. Other people don't
>    seem to know either.
> 1a. I bet the interface is too clumsy, if people can't find what
>     they want.

Like I said, suggestions are welcome.  (That's the part that should be
easier to fix.)  I can't think of anything better.

> 2. We need automatic context narrowing for teaching languages from  
> HtDP (and its relatives).

That's doable (and as Robby reminded, we had it for a while), but to
do it properly it requires a more powerful query syntax -- allowing
`or' queries, or allowing changing the order of results.  This part is
harder to fix.

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

Posted on the dev mailing list.