Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC
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.
Mon 4 SepDisplayed time zone: Belfast change
10:30 - 12:00 | |||
10:30 22mTalk | Super 8 Languages for Making Movies (Functional Pearl) Research Papers Leif Andersen Northeastern University, USA, Stephen Chang Northeastern University, USA, Matthias Felleisen Northeastern University, USA DOI | ||
10:52 22mTalk | Testing and Debugging Functional Reactive Programming Research Papers DOI | ||
11:15 22mTalk | Lock-Step Simulation Is Child's Play (Experience Report) Research Papers DOI | ||
11:37 22mTalk | Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC Research Papers Benjamin Canou OCamlPro, n.n., Roberto Di Cosmo Inria, France / University of Paris Diderot, France, Grégoire Henry OCamlPro, n.n. DOI |