Single-Course English 5 ECTS

Functional Programming

Overall Course Objectives

To provide the participants with a conceptual and practical basis for modelling, analysis and construction of systems using a functional, declarative approach.

Learning Objectives

  • master functional approaches to programming
  • master the concept recursive function
  • master application of functional data types
  • apply the concept of functions as “first-class citizens”
  • derive types for functional programs
  • analyze the effect of a functional program
  • explain the resource demands of simple functional programs
  • establish a functional design for a given problem, so that the main concepts of the problem directly are traceable in the design
  • communicate solutions and analyses in a clear and precise manner

Course Content

Functional programming, covering recursive functions, recursively defined detatypes, patterns, higher-order functions, a strong type system, and problem solving techniques.

Declarative modelling using a functional programming language with a strong type system.

Recommended prerequisites

02002/02003/02100/02101/02102/02631/01017/01019, Programming in an imperative/object-oriented language, discrete mathematics (latest at the same semester).

Teaching Method

Lectures, exercises and programming problems.


See course in the course database.





13 weeks




DTU Lyngby Campus

Course code 02157
Course type Bachelor
Semester start Week 35
Semester end Week 48
Days Fri 8-12

7.500,00 DKK