Affiliation:
1. OCamlPro, France
2. Inria, France / University of Paris Diderot, France
Abstract
This article describes the key innovations used in the massive open online course ``Introduction to Functional Programming using OCaml'' that has run since the fall semester of 2015. A fully in-browser development environment with an integrated grader provides an exceptional level of feedback to the learners. A functional library of grading combinators greatly simplifies the notoriously complex task of writing test suites for the exercises, and provides static type-safety guarantees on the tested user code. Even the error-prone manual process of importing the course content in the learning platform has been replaced by a functional program that describes the course and statically checks its contents. A detailed statistical analysis of the data collected during and after the course assesses the effectiveness of these innovations.
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Grading and Feedback Tools for Programming Education: A Systematic Review;ACM Transactions on Computing Education;2023-12-13
2. Identifying Different Student Clusters in Functional Programming Assignments;Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1;2023-03-02
3. Stop Reinventing the Wheel! Promoting Community Software in Computing Education;Proceedings of the 2022 Working Group Reports on Innovation and Technology in Computer Science Education;2022-12-27
4. Lupa;Proceedings of the 19th International Conference on Mining Software Repositories;2022-05-23
5. Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract;IEEE Access;2022