[racket-dev] stepper UI question

Got it.  Thanks for all the inputs and for the great suggestion!

Shriram

On Thu, Aug 26, 2010 at 1:56 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> I can see how to do what Mattgias is suggesting at the snip level (so
> not as bad as I made out) but you won't get nested scroll bars so you
> might not like it.
>
> Robby
>
> On Thursday, August 26, 2010, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
>> Understood.  But I think this is what Robby is saying is very
>> difficult to implement correctly, and he's suggesting we put it in a
>> different window at least for now so that we don't get bogged down in
>> the details of the Interactions window.  Right, Robby?
>>
>> Shriram
>>
>> On Thu, Aug 26, 2010 at 1:21 PM, Matthias Felleisen
>> <matthias at ccs.neu.edu> wrote:
>>>
>>> On Aug 26, 2010, at 11:59 AM, Shriram Krishnamurthi wrote:
>>>
>>>> Anyone else have comments/suggestions?
>>>
>>> Robby's idea of allowing students to choose how a RUN actually worked occurred to me too but I had a different behavior in mind. Instead of opening a separate window, I'd much rather see a step-by-step evaluation in the repl.
>>>
>>> Here is what I have in mind assuming (f x y) (sqrt (+ (sqr x) (sqr y))) is in the Definitions area:
>>>
>>>> (f 3 4)
>>> 5   { STEP }
>>>
>>> If STEP is clicked, the following line appears:
>>> ==> (f 3 4)
>>>
>>> and the student has the option of seeing the rest of the reduction sequence:
>>> ==> (f 3 4)
>>> ==> (sqrt (+ (sqr 3) (sqr 4))
>>> ==> (sqrt (+ 9 (sqr 4))
>>> ==> (sqrt (+ 9 16))
>>> ...
>>> Each line highlights the contractum.
>>> The penultimate line highlights the redex.
>>>
>>> Each step is generated in response to a student action (return or click of button or keyboard shortcut). Students should have actions available to skip to the next function application, conditional, or primitive operation.
>>>
>>> ;; ---
>>>
>>> Thanks for tackling that.
>>>
>>> Do keep in mind that Stephen is working on adapting the stepper (guts) to the Lazy language too.
>>>
>>> -- Matthias
>>>
>>>
>>>
>>>
>>>
>>>
>>>
>>
>