论文标题
生成多样化的Haskell-io锻炼任务的框架
A Framework for Generating Diverse Haskell-IO Exercise Tasks
论文作者
论文摘要
我们介绍了一个框架的设计，以自动在Haskell-I/O编程上自动生成各种不同的练习任务。自动任务生成以许多不同的方式有用。手动任务创建是一个耗时的过程，因此自动化为教育者节省了宝贵的时间。以及自动评估系统自动任务生成，使学生可以根据需要进行尽可能多的锻炼任务练习。此外，可以为每个学生提供一个稍有不同的任务版本，从而减少有关在电子学习环境中自然出现的窃的问题。我们的任务生成以我们在早期工作中开发的I/O行为的规范语言为中心。任务生成框架是Haskell中的EDSL，为从规格中创建包括程序代码在内的各种工件提供了强大的原始框架。我们将不会详细介绍这些原语的技术实现。相反，本文展示了这些伪像和整体框架如何用于构建锻炼任务模板，然后（随机）实例化。
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.
