Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies
Hazel Tutor is a work-in-progress editor service for the Hazel programming environment designed to interactively help novices learn type-driven development strategies as they construct, edit, and debug code. The system provides both feedback and, when requested, suggestions on the basis of type information available at the cursor. Hazel is able to supply the Hazel Tutor with the necessary information at all times, including when there are \emph{holes} in the program. When the cursor is on an empty hole, the system organizes the suggestions based on the type-driven development strategy that we aim to teach students. We are beginning to work on presenting debugging strategies when on an error hole. We outline our hypotheses, specific research questions of interest, and planned future studies.
Thu 19 NovDisplayed time zone: Central Time (US & Canada) change
13:00 - 14:20 | |||
13:00 20mTalk | Model-Driven Synthesis for Programming Tutors HATRA Link to publication | ||
13:20 20mTalk | Towards Solver-Aided Creativity HATRA Chris Martens North Carolina State University Pre-print | ||
13:40 20mTalk | Opportunities and Challenges for Circuit Board Level Hardware Description Languages HATRA Link to publication Pre-print | ||
14:00 20mTalk | Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies HATRA Pre-print |