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!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
