Functional Programming

• 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

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.

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

Lectures, exercises and programming problems.