We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computers and Society

Title: Teaching Simple Constructive Proofs with Haskell Programs

Authors: Matthew Farrugia-Roberts (The University of Melbourne), Bryn Jeffries (Grok Academy), Harald Søndergaard (The University of Melbourne)
Abstract: In recent years we have explored using Haskell alongside a traditional mathematical formalism in our large-enrolment university course on topics including logic and formal languages, aiming to offer our students a programming perspective on these mathematical topics. We have found it possible to offer almost all formative and summative assessment through an interactive learning platform, using Haskell as a lingua franca for digital exercises across our broad syllabus. One of the hardest exercises to convert into this format are traditional written proofs conveying constructive arguments. In this paper we reflect on the digitisation of this kind of exercise. We share many examples of Haskell exercises designed to target similar skills to written proof exercises across topics in propositional logic and formal languages, discussing various aspects of the design of such exercises. We also catalogue a sample of student responses to such exercises. This discussion contributes to our broader exploration of programming problems as a flexible digital medium for learning and assessment.
Comments: In Proceedings TFPIE 2021/22, arXiv:2207.11600
Subjects: Computers and Society (cs.CY); Programming Languages (cs.PL)
ACM classes: D.1.1; F.1.1; K.3.2
Journal reference: EPTCS 363, 2022, pp. 54-73
DOI: 10.4204/EPTCS.363.4
Cite as: arXiv:2208.04699 [cs.CY]
  (or arXiv:2208.04699v1 [cs.CY] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 26 Jul 2022 07:46:58 GMT (214kb,D)

Link back to: arXiv, form interface, contact.