一种生成多样化Haskell-IO练习任务的框架

我们呈现一个用于自动生成大量不同Haskell-I/O编程练习任务的框架设计。自动任务生成在多方面颇具价值。手动创建任务耗时费力，自动化可为教育者节省宝贵时间。结合自动评测系统，自动任务生成使学生能按需练习尽可能多的练习任务。此外，可为每位学生提供略有差异的任务版本，从而减少e-learning环境中自然出现的 plagiarism 问题。我们的任务生成围绕早前工作中开发的I/O行为规约语言展开。该任务生成框架作为Haskell中的EDSL，提供从规约创建程序代码等多种产物的强大原语。我们不详述这些原语的技术实现，本文转而展示此类产物及整体框架如何用于构建随后可（随机）实例化的练习任务模板。