Welcome to Functional Programming 2017 (TDA 452, DIT 142)!
The first lecture was on Monday 2017-10-30
Some course election info
was presented on April 20, 2017.
For last-minute updates, questions, discussions, etc, please join the
/ discussion group.
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
Advanced Functional Programming.
Lectures & Exercises
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)
||Intro to Haskell.
Tuples & lists.
|Getting started with Haskell
||Working with lists
(recursion, pattern matching)
Higher Order Functions.
Videos: Part 1, Part 2.
|Recursion and data types
|Overloading and Type Classes.
QuickCheck test data generators.
|Lists and List Comprehensions
||Abstract data types.
Recursive data types.
|IO, Test Data and Properties
Complete the monadic evaluator.
Lazy · Eager · Parallel.
|Recursive data types
|Implement a small
Tying up loose ends.
Questions and answers.
|| No lectures (Project work!)
In the table below you will find links to lab assignments which have to be
- Each assignment has a submission deadline at which you
must submit your solutions. Your first submission is expected to be a serious
attempt to complete the lab.
- If your submission does not pass (it's incorrect or
simply badly coded) then you must resubmit. You have until the final
- The final deadline is absolute:
it is the last possible date to hand
in your solutions. If your solutions are not passed you get no further chances
|Lab||Part||Submission deadline||Final deadline
||Wednesday, Week 1|
|Friday, Week 2|
||Wednesday, Week 2|
|Friday, Week 4|
|B||Wednesday, Week 3|
||A||Wednesday, Week 4|
|Friday, Week 6|
|B||Wednesday, Week 5|
||Proposal||Monday, Week 6|
|Thursday, Week 6|
||Wednesday, Week 7|
Note that the deadlines are firm and are controlled strictly by the lab
reporting system. Therefore you must submit by the deadlines.
The examination of the course has two parts:
To pass the course it is necessary to pass all home assignments and the exam.
- The weekly assignments.
- A written exam in the end of the course. Length: 4 hours.
Permitted materials: dictionary.
The exam dates are published on the
page in the study portal.
At the time of this writing the published exam dates for this course are:
Remember that you have to
sign up for the exam no later than
two weeks before the exam period starts!
- Thursday 2018-01-11, 14:00.
- Thursday 2018-04-05, 14:00.
Please also read the page on how to get help!
- The Haskell Platform
is easy to install and includes GHC, GHCi, a basic set of libraries and
the Cabal tool for easy installation of additional libraries from
search for standard library functions by name or type.
- Hierarchical Libraries:
documentation of the standard libraries provided with
the latest version of GHC.
a large collection of libraries. Here you can find everything from the
smallest my-first-haskell-project to large, mature multi-year projects.
cabal install to install packages from Hackage.
search Hackage by function name/type or package name.
There is no course textbook.
For those who like to follow a textbook I can recommend the following:
- Learn You a Haskell for Great Good!
by Miran Lipovača
Read it online for free or buy the printed version.
Very nice tutorial with humour.
- 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.
- 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.