Experience Report: The Next 1100 Haskell Programmers

Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

We report on our experience teaching a Haskell-based functional programming course to over 1100 students for two winter terms. The syllabus was organized around selected material from various sources. Throughout the terms, we emphasized correctness through QuickCheck tests and proofs by induction. The submission architecture was coupled with automatic testing, giving students the possibility to correct mistakes before the deadline. To motivate the students, we complemented the weekly assignments with an informal competition and gave away trophies in a award ceremony.

Original languageEnglish
Pages (from-to)25-30
Number of pages6
JournalACM SIGPLAN Notices
Volume49
Issue number12
DOIs
StatePublished - 3 Sep 2014

Keywords

  • Haskell
  • competition
  • education
  • functional programming
  • induction
  • monads
  • quickcheck
  • smallcheck
  • testing

Fingerprint

Dive into the research topics of 'Experience Report: The Next 1100 Haskell Programmers'. Together they form a unique fingerprint.

Cite this