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