Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Wed 21 Aug 2019 17:13 - 17:36 at Aurora Borealis - Lambda-Calculus & Teaching Chair(s): Jonathan Protzenko

Online programming platforms have immense potential to improve students’ educational experience. They make programming more accessible, as no installation is required; and automatic grading facilities provide students with immediate feedback on their code, allowing them to to fix bugs and address errors in their understanding right away. However, these graders tend to focus heavily on the functional correctness of a solution, neglecting other aspects of students’ code and thereby causing students to miss out on a significant amount of valuable feedback.

In this paper, we recount our experience in using the Learn-OCaml online programming platform to teach functional programming in a second-year university course on programming languages and paradigms. Moreover, we explore how to leverage Learn-OCaml’s automated grading infrastructure to make it easy to write more expressive graders that give students feedback on properties of their code beyond simple input/output correctness, in order to effectively teach elements of functional programming style. In particular, we describe our extensions to the Learn-OCaml platform that evaluate students on test quality and code style.

By providing these tools and a suite of our own homework problems and associated graders, we aim to promote functional programming education, enhance students’ educational experience, and make teaching and learning typed functional programming more accessible to instructors and students alike, in our community and beyond.

Wed 21 Aug

icfp-2019-papers
16:50 - 18:00: Research Papers - Lambda-Calculus & Teaching at Aurora Borealis
Chair(s): Jonathan ProtzenkoMicrosoft Research, Redmond
icfp-2019-papers16:50 - 17:13
Talk
Jennifer HackettUniversity of Nottingham, UK, Graham HuttonUniversity of Nottingham, UK
icfp-2019-papers17:13 - 17:36
Talk
Aliya HameerMcGill University, Brigitte PientkaMcGill University
icfp-2019-papers17:36 - 18:00
Talk
Jeremy YallopUniversity of Cambridge, UK, Leo WhiteJane Street
DOI Pre-print