Abstract
Ask-Elle is a tutor for learning the higher-order, strongly-typed functional
programming language Haskell. It supports the stepwise development of
Haskell programs by verifying the correctness of incomplete programs, and by
providing hints. Programming exercises are added to Ask-Elle by providing a
task description for the exercise, one or more model solutions, and properties that a solution should satisfy. The properties and model solutions can be annotated with feedback messages, and the amount of flexibility that is allowed in student solutions can be adjusted.
The main contribution of our work is the design of a tutor that combines (1)
the incremental development of di↵erent solutions in various forms to a programming exercise with (2) automated feedback and (3) teacher-specified programming exercises, solutions, and properties. The main functionality is obtained by means of strategy-based model tracing and property-based testing. We have tested the feasibility of our approach in several experiments, in which we analyse both intermediate and final student solutions to programming exercises, amongst others.
programming language Haskell. It supports the stepwise development of
Haskell programs by verifying the correctness of incomplete programs, and by
providing hints. Programming exercises are added to Ask-Elle by providing a
task description for the exercise, one or more model solutions, and properties that a solution should satisfy. The properties and model solutions can be annotated with feedback messages, and the amount of flexibility that is allowed in student solutions can be adjusted.
The main contribution of our work is the design of a tutor that combines (1)
the incremental development of di↵erent solutions in various forms to a programming exercise with (2) automated feedback and (3) teacher-specified programming exercises, solutions, and properties. The main functionality is obtained by means of strategy-based model tracing and property-based testing. We have tested the feasibility of our approach in several experiments, in which we analyse both intermediate and final student solutions to programming exercises, amongst others.
| Original language | English |
|---|---|
| Place of Publication | Utrecht |
| Publisher | UU BETA ICS Departement Informatica |
| Number of pages | 38 |
| Publication status | Published - 2015 |
Publication series
| Name | Technical Report Series |
|---|---|
| Publisher | UU Beta ICS Departement Informatica |
| No. | UU-CS-2015-019 |
| ISSN (Print) | 0924-3275 |
Keywords
- Functional programming
- Haskell
- Tutoring
- Model tracing
- Automated feedbackx
- Adaptability