The course goes through partly the programming techniques that are used in functional programming languages, partly how programmes can be divided into several executing threads and how these can be coordinated. Examples of programming techniques are recursive definitions, non-updateable data structures, functions of higher order and so called “closures”. Coordination of multiple threads is shown, partly through modification of common data structures, partly through message passing between processes.

The course will use a programming language as the main language but also show similarities and differences with other functional languages.

After passing the course, students should be able to:

• use recursion, pattern matching and non-modifiable data structures upon implementation in a functional programming language.

For higher grades, the student should also be able to

• use functions as first order objects and work with the functions of higher order
• explain the basics of functional programming, its structure and operational semantics
• evaluate functions with regard to time complexity
• use message based multi-threaded programming. 

Throughout the course we will use documentation and manuals available online.

For those who prefere a physical book we can recommend:

• Introducing Elixir - Getting started in functional programming, O'Reilly, 2014

All lectures, seminar assignments, exercises etc will be available in Canvas.

You will need a computer where you can install some programming environment. You can survive using the computers available at the school but everything is simpler if you have your own computer.

We will use the programming language Elixir in the course. You will find everything you need at the home page of the language:

•  Elixir

By intslling Elixir you will be able to compile and run elixir programs.  You will also need a text editor and you can choose one that you're familiar with from previous courses. Make sure that the editor can format elixir code in a way that makes int easier to program.

Students at KTH with a permanent disability can get support during studies from Funka:

Funka - compensatory support for students with disabilities

A, B, C, D, E, FX, F

• INL1 - Hand in assignment, 7.5 credits, Grading scale: A, B, C, D, E, FX, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

Hand in exercises ( INL1 )

For grade E you should solve a number programming tasks, assess other students solutions. The solutions can be presented both as program code, shorter reports and oral presentations. The tasks will be about the basics of functional prgramming.

For higer grades there will be four additional programing task that should be solved and presented. These task will be related to: sematics, higher order functions, efficiency and processes.

• All members of a group are responsible for the group's work.
• In any assessment, every student shall honestly disclose any help received and sources used.
• In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.