Course PM

TDA452/DIT143, Functional Programming, 7.5hp, HT 2018

Examiner:	Thomas Hallgren
Course responsible:	Thomas Hallgren
Course Assistants/supervisors:	Elisabet Lobo-Vesga, Herbert Lange, Jeff/Yu-Ting Chen, Jannis Limperg, Mazdak Farrokhzad

Course content

In this course the student will learn about functional programming through the Haskell programming language. Concrete topics encountered in the course include:

functions as first-class values
algebraic and abstract data types
polymorphism and classes
testing functional programs
lazy evaluations and infinite objects
monads

Learning outcomes

After completion of the course the student should be able to

write small to medium-sized functional programs for a variety of applications;
exploit a variety of programming techniques typical in functional programming, such as: use of recursion, modelling with recursive datatypes, abstraction and reuse with the help of higher order functions and monads;
appreciate the strengths and possible weaknesses of the functional programming paradigm.

Course structure/course implementation

7 weeks in total.
Two lectures per week, on Mondays and Thursday.
Drop-in office hours and on-line help.
Four lab assignments, spread out over seven submission deadlines (one per week).

Examination forms

The examination of the course has two parts:

Weekly assignments, done in groups of 2 students.
A individual written exam after the end of the course, on Saturday 2019-01-19, 8:30-12:30 at Lindholmen Campus. Permitted materials: dictionary. Remember that you have to sign up for the exam ahead of time!

To pass the course it is necessary to pass all assignments and the written exam. Your final grade is determined by your grade on the written exam only.

The grades awarded on the exam are 3, 4, 5 for Chalmers students, and G, VG for GU students. (G on the GU side corresponds to 3 or 4 on the Chalmers side; VG corresponds to a 5.)

Course literature

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. (online at www.learnyouahaskell.com).
Programming in Haskell by Graham Hutton (Cambridge University Press)

Changes from Last Year

There will be no significant changes from last year.

Schedule

Lectures and self-study exercises

	Monday 13.15 (HB3)	Thursday 10.00 (HC3)
	Self-study exercises
Week 1	Intro to Haskell. 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 1	Getting started with Haskell
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.
Week 2	Recursion and data types
Week 3	Input/Output. Source code: countWords.hs, InputOutput.hs, Hangman.hs. Tests in GHCi: InputOutput.txt	Overloading and Type Classes, QuickCheck test data generators. Source code: Overloading.hs, TestDataGenerators.hs. Tests in GHCi: TC_QC.txt, TC_QC.pdf
Week 3	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.
Week 4	IO, Test Data and Properties
Week 5	Monads. (Extra: Instances). Source code: MonadicEvaluators.hs. Tests in GHCi: Monadic.txt, Monadic.pdf.	Monads recap. Lazy · Eager · Parallel. Source code: Fib.hs, Laziness.hs. Tests in GHCi: Laziness.txt, Laziness.pdf.
Week 5	Recursive data types
Week 6	GUI programming Source code: WebIntro.html, 3pIntro.hs, 3pFudgetsIntro.hs, ThreepennyFudgets.hs. More info: ThreepennyFudgets. 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. Tests in GHCi: ADTs.txt, ADTs.pdf.
Week 7	No lectures (Project work!)

Lab assignments

Lab	Part	Submission deadline	Final deadline
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)
Lab 2	B	Wednesday, Week 3 (2018-11-21)	Friday, Week 4 (2018-11-30)
Lab 3	A	Wednesday, Week 4 (2018-11-28)	Friday, Week 6 (2018-12-14)
Lab 3	B	Wednesday, Week 5 (2018-12-05)	Friday, Week 6 (2018-12-14)
Lab 4	Proposal	Monday, Week 6 (2018-12-10)	Thursday, Week 6 (2018-12-13)
Lab 4	Project	Wednesday, Week 7 (2018-12-19)	Friday, 2018-12-28?

CHALMERS TEKNISKA HÖGSKOLA AB
GÖTEBORGS UNIVERSITET
Data- och informationsteknik
412 96 Göteborg
Telefon: 031-772 10 00 (CTH) / 031-786 00 00 (GU)