物理与虚拟空间中大规模参与式函数式编程教学
计算机与社会
2022-07-27 v1 编程语言
摘要
全球范围内，计算机科学系的学生注册人数急剧增加。此外，持续的 COVID-19 疫情要求各机构彻底取代传统的现场教学方式，将互动从物理空间转移到虚拟空间。我们报告了在一个基于 Haskell 的函数式编程与验证课程中应对这些问题的策略与经验，该课程在两个学期内容纳了超过 2000 名学生。除其他外，我们通过每周编程竞赛和创造性作业项目、与行业合作伙伴的研讨会以及协作结对编程辅导来促进参与。为了向数百名学生提供如此广泛的课程，我们实现了编程以及归纳证明练习反馈的自动化。我们解释并分享了我们的工具与练习，以便其他教育工作者复用。
引用
@article{arxiv.2207.12703,
title = {Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space},
author = {Kevin Kappelmann and Jonas Rädle and Lukas Stevens},
journal= {arXiv preprint arXiv:2207.12703},
year = {2022}
}
备注
In Proceedings TFPIE 2021/22, arXiv:2207.11600