Got it. Thanks for all the inputs and for the great suggestion! Shriram
On Thu, Aug 26, 2010 at 1:56 PM, Robby Findler <ro...@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 <s...@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 >> <matth...@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 >>> >>> >>> >>> >>> >>> >>> >> > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev