TDA 452
DIT 143
HT 2018

# Functional Programming 2018 Welcome

Welcome to Functional Programming (TDA 452, DIT 143)!

This page describes the 2018 edition of the course. Maybe you were looking for the 2019 edition of the course?

### 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 syllabus 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.

## 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 (HB3) Thursday 10.00 (HC3)
Self-study exercises
Extra: Tuples & lists. Types.
Source code: Intro.hs
Tests in GHCi: Intro.txt, Intro.pdf.
Data types.
Source code: DataTypes.hs
Tests in GHCi: DataTypes.txt, DataTypes.pdf.
Week 2 Working with lists
(recursion, pattern matching)
Source code: WorkingWithLists.hs
Tests in GHCi: WorkingWithLists.txt WorkingWithLists.pdf
08:00 in HA4
Higher Order Functions.
Source code: HigherOrderFunctions.hs
Tests: see comments in source code
2012 Videos: Part 1, Part 2.
Recursion and data types
Week 3 Input/Output.
Source code: countWords.hs, InputOutput.hs, Hangman.hs.
Tests in GHCi: InputOutput.txt
QuickCheck test data generators.
Tests in GHCi: TC_QC.txt, TC_QC.pdf
Lists and List Comprehensions
Week 4 Recursive data types.
Source code: ArithmeticQuiz.hs, SymbolicExpressions.hs.
Tests in GHCi: RecDataTypes.txt, RecDataTypes.pdf.
Parsing.
Source code: ParsingExamples.hs, Parsing.hs, Parsing library.
Tests in GHCi: Parsing.txt, Parsing.pdf.
IO, Test Data and Properties

Lazy · Eager · Parallel.
Source code: Fib.hs, Laziness.hs.
Tests in GHCi: Laziness.txt, Laziness.pdf.
Recursive data types
Week 6 GUI programming
Source code: WebIntro.html, 3pIntro.hs, 3pFudgetsIntro.hs, ThreepennyFudgets.hs.
Tests in GHCi: GUI.txt, GUI.pdf.
Abstract data types.
Type inference examples (from old exams, PreludeFunctions.hs)
Concluding reflections and examples.
Source code: Reverse.hs, Queue.hs, 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.

• 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 deadline.
• 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 this term.
Lab 1 Wednesday, Week 1
(2018-11-07)
Friday, Week 2
(2018-11-16)
Lab 2 A Wednesday, Week 2
(2018-11-14)
Friday, Week 4
(2018-11-30)
BWednesday, Week 3
(2018-11-21)
Lab 3 AWednesday, Week 4
(2018-11-28)
Friday, Week 6
(2018-12-14)
BWednesday, Week 5
(2018-12-05)
Lab 4 ProposalMonday, Week 6
(2018-12-10)
Thursday, Week 6
(2018-12-13)
Project Wednesday, Week 7
(2018-12-19)
Friday, 2018-12-28?

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:
• The weekly assignments.
• A written exam after the end of the course. Length: 4 hours. Permitted materials: dictionary.
To pass the course it is necessary to pass all assignments and the written exam.

The exam dates are published on the syllabus page in the study portal. At the time of this writing the published exam dates for this course are:

• Saturday 2019-01-19, 08:30.
• Thursday 2019-04-25, 14:00.
• There is no exam in August.

## Resources

• 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 Hackage.

• Hoogle: search for standard library functions by name or type.
• Hierarchical Libraries: documentation of the standard libraries provided with the latest version of GHC.
• Hackage: a large collection of libraries. Here you can find everything from the smallest my-first-haskell-project to large, mature multi-year projects. Use `cabal install` to install packages from Hackage.
• Hayoo: search Hackage by function name/type or package name.

### Books

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

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.