In this introductory video, I describe an experimental interactive programming tool, LambdaCalc. We see how to program factorial in this system: we start with an executing copy of the identity function and edit it into the desired computation. I also show how changes in LambdaCalc are always explicit, allowing the user to see the impact of program edits on the computation.
The second video shows how LambdaCalc supports interactive forwards and backwards dynamic slicing of the computation. Using binary search as an example, we see how this allows the user to have a more “focused” view of a potentially complex computation. I also present some more interactive programming examples.