Experience report
| Autor: | Lars Hupel, Dmitriy Traytel, Tobias Nipkow, Lars Noschinski, Jasmin Christian Blanchette |
|---|---|
| Rok vydání: | 2014 |
| Předmět: |
Functional programming
Correctness Programming language Computer science Mathematical proof Monad (functional programming) computer.software_genre Computer Graphics and Computer-Aided Design ComputingMilieux_COMPUTERSANDEDUCATION Haskell Experience report computer Software computer.programming_language |
| Zdroj: | Haskell |
| DOI: | 10.1145/2633357.2633359 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|