Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk)
summary
A prototype browser-based UI walks through the Program Design Recipe and a feedback generator checks data examples, templates and simple termination hints by translating user input into Racket-like data structures in a domain-specific language. It flags missing or non-exhaustive examples, warns when recursive calls use the original argument (possible non-termination), and can auto-fill selectors when constructors mark recursive fields. Synthesis to answer “am I on the right track” is proposed but not yet implemented.
AI-written summary · about
chapters (5)
- 0:00Start
- 1:16Motivation: Checking correctness of intermediate steps
- 2:24Data Example Exhaustivity (Step 1)
- 3:03Template Validity (Step 4)
- 3:35Am I on the Right Track? Feldman+ SPLASH-E 19 (Step 5)
related talks
20mAutomating the Design Recipe
15mLive Programming a Live Programming Environment: An Experience Report
24mRethinking Design Practices
15mExample-Driven Software Language Engineering
13mProgramming with a Read-Eval-Synth Loop
25mCode is a User Interface
01h 01mDeclarative Programming and Education
53mCode Generation: ....