Functional Programming I

5 credits

Syllabus, Master's level, 1DL330

Code
1DL330
Education cycle
Second cycle
Main field(s) of study and in-depth level
Computer Science A1N
Grading system
Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
Finalised by
The Faculty Board of Science and Technology, 4 February 2022
Responsible department
Department of Information Technology

Entry requirements

120 credits with a second course in computer programming. 15 credits in mathematics, including basic algebra. Proficiency in English equivalent to the Swedish upper secondary course English 6.

Learning outcomes

On completion of the course, the student should be able to:

  • list and define the fundamental concepts of functional programming,
  • manually execute a given (simple) functional program,
  • manually infer the type of a given (simple) functional program,
  • implement (simple) algorithms and data structures as functional programs,
  • design (large) functional programs that are modular and have reusable components,
  • explain on a simple problem how functional programming differs from imperative and object-oriented programming.

Content

Fundamental concepts: functions, relations, recursion, tail-recursion, type systems, polymorphism, datatypes, recursive datatypes, introduction to higher-order functions, data abstraction.

Programming in a functional programming language, such as Haskell.

Similarities and differences with imperative and object-oriented programming.

Instruction

Laboratory work and lectures.

Assessment

Written individual assignements. Written group assignments.

If there are special reasons for doing so, an examiner may make an exception from the method of assessment indicated and allow a student to be assessed by another method. An example of special reasons might be a certificate regarding special pedagogical support from the disability coordinator of the university.

Other directives

The course cannot be counted in a higher education qualification together with the course Programkonstruktion (1IT020, 1IT021, 1DL200, 1DL201).

FOLLOW UPPSALA UNIVERSITY ON

facebook
instagram
twitter
youtube
linkedin