Official course description:
Full info last published 22/06-22

Functional Programming, SWU

Course info
Language:
English
ECTS points:
7.5
Course code:
BSFUPRO1KU
Participants max:
210
Offered to guest students:
yes
Offered to exchange students:
yes
Offered as a single subject:
yes
Price for EU/EEA citizens (Single Subject):
10625 DKK
Programme
Level:
Bachelor
Programme:
BSc in Software Development
Staff
Course manager
Associate Professor
Teacher
Postdoc
Teacher
Associate Professor, Head of study programme
Teaching Assistant
Teaching Assistant (TA)
Teaching Assistant
Teaching Assistant (TA)
Teaching Assistant
Teaching Assistant (TA)
Teaching Assistant
Teaching Assistant (TA)
Teaching Assistant
Teaching Assistant (TA)
Teaching Assistant
Teaching Assistant (TA)
Course semester
Semester
Forår 2022
Start
31 January 2022
End
31 August 2022
Exam
Exam type
ordinær
Internal/External
ekstern censur
Grade Scale
7-trinsskala
Exam Language
GB
Abstract
This course aims to make students proficient in the functional programming paradigm used by languages such as F#, Scala, SML, OCaml, or Haskell. All programs created in the course will be written in F#, developed by Microsoft and incorporated in Visual Studio and the .NET framework. We will relate the functional paradigm to its imperative and object-oriented counterparts, but focus on concepts predominantly found in functional programming languages such as higher-order functions, recursion and tail recursion, immutable data structures, and first-class functions.
Description

You will get a practical and theoretical introduction to functional programming languages using F#. This includes the following themes:

Functional Programming Paradigm:
  • first-class functions 
  • higher-order functions 
  • type inference and polymorphism 
  • recursion and tail recursion 
  • algebraic data types 
  • strict and lazy evaluation
  • parser combinators
  • monads
Memory Management:
  • garbage collection 
  • reference types 
  • mutable versus immutable data 
Parallel Programming:
  • divide and conquer
  • the Actor model
  • asynchronous computations
Formal prerequisites
  • You are enrolled on the BSc study program in software development.
  • You can construct object-oriented software using C#, corresponding to what is learnt in the BSc course Analysis, Design and Software Architecture (BDSA).
  • You have a solid understanding of algorithms, their implementation, and their complexity, as taught in Algorithms and Data Structures (BADS).
This course is part of the fourth semester in the bachelor´s degree in Software Development.
Intended learning outcomes

After the course, the student should be able to:

  • apply and reflect on theories for modelling, analyzing and constructing functional declarative programs.
  • apply and reflect on the concepts behind functional programming compared to imperative and object oriented programming.
  • construct programs in F# and explain the basic principles behind functional programming using F#.
  • describe and explain solutions to problems in the context of functional programming.
  • apply core concepts of functional programming.
  • reason about the complexity of functional programs.
Learning activities

The course consists of

  • a course-like block with lectures and exercises, covering the themes of the course
  • individual hand-ins
  • group hand-ins and a bigger project towards the end of the course
  • required reading on functional programming, parallel programming and F#.

Lectures and the reading material present the background, theory, and methods needed for achieving the intended learning outcomes providing the theoretical underpinnings for the course curriculum.

Assignments give you the necessary practical experience required to achieve proficiency in the course material and to prepare you for the project and the exam

The exercise sessions allow you to work on assignments and the project under supervision allowing for discussion and reflection of how to convert theory into practice.

The mandatory project has you create a non-trivial piece of software from the ground up giving you a solid understanding and working knowledge of developing larger code bases using F#.


Mandatory activities

How Many:
7 individual hand-ins with a value of 2 points each and a group project worth 6 points. A total of 20 points can be earned. You need 16 points to attend the exam.

When:
One hand-in per week, but some weeks are free to not clash with the second year project exams.
The project is towards the end of the course.

Deadlines:
One week per assignment.

Group size:
All group hand-ins are performed in groups of at least two and at most three.

Retake:
It is possible to hand-in assignment within two weeks after the first deadline to improve score.

NB: Students not fulfilling the requirement of 16 points to attend the exam will be given the grade NA (not passed) at the ordinary exam and thereby use one exam trial.

The student will receive the grade NA (not approved) at the ordinary exam, if the mandatory activities are not approved and the student will use an exam attempt.

Course literature
Functional Programming using F# by Michael R. Hansen and Hans Rischel, ISBN 9781107684065

Student Activity Budget
Estimated distribution of learning activities for the typical student
  • Preparation for lectures and exercises: 10%
  • Lectures: 17%
  • Exercises: 17%
  • Assignments: 50%
  • Exam with preparation: 6%
Ordinary exam
Exam type:
A: Written exam on premises, External (7-point scale)
Exam variation:
A11: Written exam on premises. Open book exam.
Exam duration:
5 hours


reexam
Exam type:
A: Written exam on premises, External (7-point scale)
Exam variation:
A11: Written exam on premises. Open book exam.
Exam duration:
5 hours

Time and date
Ordinary Exam - on premises Fri, 3 Jun 2022, 09:00 - 14:00
Reexam - on premises Tue, 16 Aug 2022, 09:00 - 14:00