Experience Report: The Next 1100 Haskell Programmers

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

doi:10.1145/2633357.2633359

Experience Report: The Next 1100 Haskell Programmers

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

Informatik 7 - Lehrstuhl für Theoretische Informatik

Technische Universität München

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

1 Zitat (Scopus)

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.

Originalsprache	Englisch
Seiten (von - bis)	25-30
Seitenumfang	6
Fachzeitschrift	ACM SIGPLAN Notices
Jahrgang	49
Ausgabenummer	12
DOIs	https://doi.org/10.1145/2633357.2633359
Publikationsstatus	Veröffentlicht - 3 Sept. 2014

Zugriff auf Dokument

10.1145/2633357.2633359

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@article{91959e03ed49411991187344bbed17cb,

title = "Experience Report: The Next 1100 Haskell Programmers",

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.",

keywords = "Haskell, competition, education, functional programming, induction, monads, quickcheck, smallcheck, testing",

author = "Blanchette, {Jasmin Christian} and Lars Hupel and Tobias Nipkow and Lars Noschinski and Dmitriy Traytel",

note = "Publisher Copyright: {\textcopyright} 2014 ACM.",

year = "2014",

month = sep,

day = "3",

doi = "10.1145/2633357.2633359",

language = "English",

volume = "49",

pages = "25--30",

journal = "ACM SIGPLAN Notices",

issn = "1523-2867",

publisher = "Association for Computing Machinery (ACM)",

number = "12",

}

TY - JOUR

T1 - Experience Report

T2 - The Next 1100 Haskell Programmers

AU - Blanchette, Jasmin Christian

AU - Hupel, Lars

AU - Nipkow, Tobias

AU - Noschinski, Lars

AU - Traytel, Dmitriy

PY - 2014/9/3

Y1 - 2014/9/3

N2 - 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.

AB - 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.

KW - Haskell

KW - competition

KW - education

KW - functional programming

KW - induction

KW - monads

KW - quickcheck

KW - smallcheck

KW - testing

UR - http://www.scopus.com/inward/record.url?scp=85124654703&partnerID=8YFLogxK

U2 - 10.1145/2633357.2633359

DO - 10.1145/2633357.2633359

M3 - Article

AN - SCOPUS:85124654703

SN - 1523-2867

VL - 49

SP - 25

EP - 30

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 12

ER -

Experience Report: The Next 1100 Haskell Programmers

Abstract

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren