[plt-dev] help

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri Apr 17 15:57:32 EDT 2009

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!

Posted on the dev mailing list.