Modulcode:	MS0304
Englische Bezeichnung:	Functional Programming
Modulverantwortliche(r):	Priv.-Doz. Dr. Frank Huch
Turnus:	unregelmäßig (SS08 SS10 WS11/12 SS13 SS15 WS16/17 SS18 WS19/20 SS21 WS22/23)
Präsenzzeiten:	4V 2Ü
ECTS:	8
Workload:	60 h lectures, 30 h exercises, 150 h self studies
Dauer:	ein Semester
Modulkategorien:	BSc-Inf-WP (BSc Inf (21)) WI (BSc Inf (15)) MSc-Inf-WP (MSc Inf (21)) 2F-MEd-Inf-WP (MEd-Hdl Inf (21)) 2F-MA-Inf-WP (2F-MA Inf (21)) MSc-WInf-WP-Inf (MSc WInf (21)) PI (MSc Inf (15)) WI (MSc Inf (15)) WI (MSc WInf (15)) WI (MEd Inf) WPI (MEd Inf) IG (MSc Inf) MV (MSc Inf)
Lehrsprache:	Englisch
Voraussetzungen:	Inf-FortProg infDP-01a

Kurzfassung:

Building on the fundamentals of functional programming, as taught, for example, in advanced programming, further functional programming concepts are presented in this module, as well as an introduction to the fundamentals of functional programming, especially the lambda calculus. Most of the content is shown using the purely functional Haskell programming language.

Lernziele:

The students can

• Solve practical problems, if necessary using suitable data structures, in functional programming languages.
• Use functional structuring and abstraction concepts in programming and create maintainable code.

Lehrinhalte:

• Basics of functional programming
  
  • Lambda calculus
  • Semantics
  • Polymorphism
• Advanced concepts
  
  • Functors
  • Monads
  • Continuation Passing Style
  • Parser combiners
  • Domain-specific languages ​​and their connection
  • Tools for testing and debugging (including their implementation)
  • Efficient functional algorithms and data structures
  • Generic programming.

Weitere Voraussetzungen:

Basic knowledge of functional programming and the language Haskell.

Prüfungsleistung:

oral exam

Lehr- und Lernmethoden:

Interactive programming in the lectures.

Verwendbarkeit:

Literatur:

R. Bird: Introduction to Functional Programming Using Haskell, Pearson Educationl, Harlow, 1998, ISBN: 978-0-13-484346-9

S. Thompson: Haskell: The Craft of Functional Programming, 2nd ed., Pearson Education, Harlow, 1999, ISBN: 978-0-201-34275-8

C. Okasaki: Purely Functional Data Structures, Cambridge University Press, Cambridge, UK, 1998, ISBN: 0-521-63124-6

Verweise:

Kommentar: