E-Learning an den Hamburger Hochschulen
Lecture: Lecture: Functional Programming - Details
You are not logged in.

General information

Subtitle Module: Functional Programming
Course number 36416_W18
Semester WiSe 18/19
Current number of participants 218
Home institute Institut für Softwaresysteme (E-16)
Courses type Lecture in category Teaching
First date Wed , 24.10.2018 09:45 - 11:15, Room: (H0.16)
Pre-requisites Discrete mathematics at high-school level 
Performance record Written exam
ECTS points 2

Course location / Course dates

(H0.16) Monday: 08:00 - 09:30, weekly (10x)
Wednesday: 09:45 - 11:15, weekly (13x)
(E4.036) Monday: 08:00 - 09:30, weekly (2x)
(E2.039P5a / E2.042P5b) Thursday: 11:30 - 13:00, weekly (13x)
(E2.055P4a / E2.058P2) Thursday: 13:15 - 14:45, weekly (13x)

Comment/Description

- Functions, Currying, Recursive Functions, Polymorphic Functions, Higher-Order Functions
- Conditional Expressions, Guarded Expressions, Pattern Matching, Lambda Expressions
- Types (simple, composite), Type Classes, Recursive Types, Algebraic Data Type
- Type Constructors: Tuples, Lists, Trees, Associative Lists (Dictionaries, Maps)
- Modules
- Interactive Programming
- Lazy Evaluation, Call-by-Value, Strictness
- Design Recipes
- Testing (axiom-based, invariant-based, against reference implementation)
- Reasoning about Programs (equation-based, inductive)
- Idioms of Functional Programming
- Haskell Syntax and Semantics

Graham Hutton, Programming in Haskell, Cambridge University Press 2007.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch Migration 128 13:45:31 03.09.2014
The following admission rules apply:
  • Admission locked.