Automatic Evaluation of Haskell Assignments Using Existing Haskell Tooling
| dc.contributor.author | Prokosch, Thomas | |
| dc.contributor.author | Strickroth, Sven | |
| dc.contributor.editor | Greubel, André | |
| dc.contributor.editor | Strickroth, Sven | |
| dc.contributor.editor | Striewe, Michael | |
| dc.date.accessioned | 2023-10-16T04:38:42Z | |
| dc.date.available | 2023-10-16T04:38:42Z | |
| dc.date.issued | 2023 | |
| dc.description.abstract | Learning Haskell is hard for many students because of its functional nature. What is more, Haskell uses a sophisticated type system that many students find quite confusing in the beginning. Therefore, providing timely feedback regarding correctness and quality for student Haskell solutions is important, a challenge particularly in large courses. Computer-assisted correction of submissions offers a way to help tutors and students alike, but this requires the computer to understand the language. Parsing the student submissions into a syntax tree and analyzing the syntax tree is one possibility, however, this paper describes a more straightforward approach that uses only a Haskell compiler and a few standard tools. Based on a migration of a Haskell course with manual to automatic correction we classified assignment into different categories and describe this approach in detail for each category. | en |
| dc.identifier.doi | 10.18420/abp2023-3 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/42566 | |
| dc.language.iso | en | |
| dc.pubPlace | Bonn | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Proceedings of the Sixth Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2023) | |
| dc.relation.ispartofseries | Workshop „Automatische Bewertung von Programmieraufgaben“ | |
| dc.subject | Haskell | |
| dc.subject | automatic evaluation | |
| dc.subject | e-assessment | |
| dc.subject | programming education | |
| dc.title | Automatic Evaluation of Haskell Assignments Using Existing Haskell Tooling | en |
| dc.type | Text/Conference Paper | |
| gi.conference.date | October 12-13, 2023 | |
| gi.conference.location | Munich, Germany | |
| gi.conference.sessiontitle | Vollbeiträge |
Dateien
Originalbündel
1 - 1 von 1