[plt-dev] help

Why don't you start with these guidelines:

   context = TL + tp(1) + ... + tp(n)

The first page must contain only:
  (1) all query results that concern tp(i)
  (2) all results concerning TL
  (3) tp results appear BEFORE TL results
  [(4) we might also wish to order results so that those for tp(j)  
occur before tp(i) if j > i]

All other results appear on pages 2 and up.

I suspect you can scale these rules to #lang scheme/gui and friends.  
I just wish we had scheme/redex.

-- Matthias





On Apr 17, 2009, at 3:54 PM, Eli Barzilay wrote:

> 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!