[plt-dev] help

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

On Apr 17, Matthias Felleisen wrote:
> 
> On Apr 17, 2009, at 3:46 PM, Eli Barzilay wrote:
> 
> > 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
> 
> For now, I am proposing that we order the query results by
> information from the context. Specifically, we display all
> information that are relevant according to the context on the first
> page. Everything else is displayed on page 2 and up.
> 
> How's that? -- Matthias

That's exactly the hard part.  It's even more than just the hard part,
it combines both `or' queries, and reordering the results.  (And in
the meantime it doesn't address the problem of making the context
query more usable.)

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


Posted on the dev mailing list.