Course syllabus

Funktionsprogrammering
Functional Programming

EDAF40, 5 credits, G2 (First Cycle)

Valid for: 2016/17
Decided by: Education Board A
Date of Decision: 2016-04-05

General Information

Main field: Technology.
Compulsory for: D2
Language of instruction: The course will be given in English on demand

Aim

The course gives an insight into how the functional programming often offers a possibility to write shorter and easier-to-understand programs than using the traditional imperative or object-oriented approaches.

Learning outcomes

Knowledge and understanding
For a passing grade the student must

• have a good understanding of the fundamental principles for functional programming
• understand the practical consequences of the differences in this paradigm relative to traditional programming
• know the common idioms of functional programming
• understand the benefits and the function of an advanced type system

Competences and skills
For a passing grade the student must

• be able to read programs written in a modern functional programming language
• be able to utilize the possibilities of the functional paradigm to write programs in a modern functional programming language
• be able to do type analysis of expressions in a modern functional programming language

Judgement and approach
For a passing grade the student must

• have learnt to appreciate the role of program code as a communication medium between people

Contents

The philosophy of functional languages. Introduction to a modern functional programming language. Language constructs and idioms. Higher-order functions. Lazy evaluation and infinite data structures. Polymorphic type systems. Type analysis and type inference.

Examination details

Grading scale: TH
Assessment: Written examination. To qualify for the exam students must have completed the assignments. The final grade of the course is based on the result of the written examination.

Parts
Code: 0117. Name: Assignments.
Credits: 2,5. Grading scale: UG. Assessment: To qualify for a passing grade the assignments must be completed.
Code: 0217. Name: Written Examination.
Credits: 2,5. Grading scale: TH. Assessment: To qualify for the exam the assignments must be completed. The final grade of the course is based on the result of the written examination. Contents: Written examination.

Admission

Admission requirements:

• EDAA01 Programming - Second Course or EDAA30 Programming in Java - Second Course

Required prior knowledge: FMAA01 and FMA420 or FMA645 and FMA656.
The number of participants is limited to: No
The course overlaps following course/s: EDA120, EDAN40

Reading list

• Web-based course material.
• Simon Thompson: Haskell, The Craft of Functional Programming. Addison Wesley, 2011, ISBN: 9780201882957. 3rd edition. Recommended reference.
• Graham Hutton: Programming in Haskell. Cambridge University Press, 2007, ISBN: 9780521692694. Recommended reference.
• Bryan O'Sullivan, John Goerzen and Don Stewart: Real World Haskell. O'Reilly, 2008, ISBN: 9780596514983. Recommended reference.
• Paul Chiusano and Rúnar Bjarnason: Functional Programming in Scala. Manning Publications, 2014, ISBN: 9781617290657. Recommended reference.

Contact and other information

Course coordinator: Professor Jacek Malec, Jacek.Malec@cs.lth.se
Course homepage: http://cs.lth.se/edaf40