A Framework for Generating Diverse Haskell-IO Exercise Tasks

08/28/2020
by   Oliver Westphal, et al.
0

We present the design of a framework to automatically generate a large range of different exercise tasks on Haskell-I/O programming. Automatic task generation is useful in many different ways. Manual task creating is a time consuming process, so automating it saves valuable time for the educator. Together with an automated assessment system automatic task generation allows students to practice with as many exercise tasks as needed. Additionally, each student can be given a slightly different version of a task, reducing issues regarding plagiarism that arise naturally in an e-learning environment. Our task generation is centered around a specification language for I/O behavior that we developed in an earlier work. The task generation framework, an EDSL in Haskell, provides powerful primitives for the creation of various artifacts, including program code, from specifications. We will not go into detail on the technical realization of these primitives. This article instead showcases how such artifacts and the framework as a whole can be used to build exercise tasks templates that can then be (randomly) instantiated.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/09/2023

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT

Large language models (LLMs) have demonstrated impressive capabilities a...
research
03/24/2023

SIGMORPHON 2023 Shared Task of Interlinear Glossing: Baseline Model

Language documentation is a critical aspect of language preservation, of...
research
04/24/2023

Detecting Code Quality Issues in Pre-written Templates of Programming Tasks in Online Courses

In this work, we developed an algorithm for detecting code quality issue...
research
02/24/2023

Robot Behavior-Tree-Based Task Generation with Large Language Models

Nowadays, the behavior tree is gaining popularity as a representation fo...
research
05/23/2022

Automatic Generation of Programming Exercises

Massive training of developers following the growing demands of the info...
research
06/24/2023

Exploring Programming Task Creation of Primary School Teachers in Training

Introducing computational thinking in primary school curricula implies t...
research
05/24/2023

ByteSized32: A Corpus and Challenge Task for Generating Task-Specific World Models Expressed as Text Games

In this work we examine the ability of language models to generate expli...

Please sign up or login with your details

Forgot password? Click here to reset