TDA 452
DIT 142
HT 2016

Functional Programming 2016
Welcome

Welcome to Functional Programming 2016 (TDA 452, DIT 142)! The first lecture was on Monday 2016-10-31 at 13:15.

Kursvalsinformation: course election info presented on April 20, 2017.

Purpose

The course is an introduction to Functional Programming for students who know how to program. The students come mainly from the masters program at Chalmers and the University of Göteborg. See the course plan for more details.

Please note that you cannot include this course as part of a degree which already contains TDA 555 Introduction to Functional Programming. The contents are too similar (although the exam for this course is more demanding). If you took TDA 555 or similar please consider TDA 342 Advanced Functional Programming.

People

Lectures & Exercises

TimeEdit Schedule

The contents of the lectures is preliminary. There might be minor adjustments or shifts in time.

The videos of the lectures recorded in 2012 & 2011 are still mostly up-to-date.

Monday 13.15 (HC2) Thursday 10.00 (HC3)
Self-study exercises
Week 1 Intro to Haskell. Tuples & lists.
Types. [Intro.hs]
Data types. [DataTypes.hs].
Getting started with Haskell
Week 2 Working with lists
(recursion, pattern matching)
[WorkingWithLists.hs]
Higher Order Functions.
[HigherOrderFunctions.hs]
Recursion and data types
Week 3 Input/Output. [countWords.hs,
InputOutput.hs, Hangman.hs]
Overloading and Type Classes.
[Overloading.hs, ExhaustiveTesting.hs]
QuickCheck test data generators.
[TestDataGenerators.hs]
Lists and List Comprehensions
Week 4 Abstract data types. [Queue.hs]
Recursive data types. [ArithmeticQuiz.hs]
Parsing.
[ParsingExamples.hs, Parsing.hs]
IO, Test Data and Properties
Week 5 Monads. Symbolic Expressions.
[SymbolicExpressions.hs]
Laziness. [Laziness.hs, Fib.hs]
Recursive data types
Week 6 Web/Gui programming with Haste
and WebFudgets. [hello3.hs,
WebFudgetsDemo.hs, WebFudgets.hs]
Tying up loose ends.
Questions and answers. [Set.hs]
Week 7 No lectures (Project work!)

Lab Assignments

In the table below you will find links to lab assignments which have to be handed in.

LabPartSubmission deadlineFinal deadline
Lab 1 Wednesday, Week 1
(2016-11-02)
Friday, Week 2
(2016-11-11)
Lab 2 A Wednesday, Week 2
(2016-11-09)
Friday, Week 4
(2016-11-25)
BWednesday, Week 3
(2016-11-16)
Lab 3 AWednesday, Week 4
(2016-11-23)
Friday, Week 6
(2016-12-09)
BWednesday, Week 5
(2016-11-30)
Lab 4 ProposalMonday, Week 6
(2016-12-05)
Thursday, Week 6
(2016-12-08)
Project Wednesday, Week 7
(2016-12-14)
Friday, 2017-01-13

Note that the deadlines are firm and are controlled strictly by the lab reporting system. Therefore you must submit by the deadlines.

Examination

The examination of the course has two parts: To pass the course it is necessary to pass all home assignments and the exam.

The exam dates are announced on the student portal, www.student.chalmers.se:

Resources

Please also read the page on how to get help!

Installing Haskell

Haskell Libraries

Help/community/reference info

Old Exams

Books

There is no course textbook. For those who like to follow a textbook I can recommend the following:
Programming in Haskell by Graham Hutton

2nd edition of a compact and well-written Haskell book that is a good fit for this course. Available as paperback and eBook. (1st edition)

Learn You a Haskell for Great Good! by Miran Lipovača

Online and printed versions. Very nice tutorial with humour.

The Craft of Functional programming by Simon Thompson

A more basic book with a slower pace but still covering most of the material in the course. I recommend the 3rd edition which has some coverage of quickCheck (a testing approach used extensively in the course). Also available at the Chalmers bookstore.

Real World Haskell by Bryan O'Sullivan, Don Stewart, and John Goerzen

Also available online. This is more advanced and more oriented towards practical Haskell programming. A good book to have on the shelf if you continue with Haskell. This is the course book for the Advanced Functional Programming course.

Related courses