Funktionale Programmierung
LVA 185.A03, VU 2.0, ECTS 3.0

Funktionale Programmierung

(zweistündige Vorlesung mit Übung; angeboten regelmäßig in Wintersemestern)

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

 

Die LVA 185.A03 Funktionale Programmierung wird zur Zeit regelmäßig im Wintersemester eines Studienjahrs angeboten.

Aktuelle Abhaltung

• Funktionale Programmierung WS 2021/2022

Zurückliegende Abhaltungen

• Funktionale Programmierung WS 2020/2021
• Funktionale Programmierung WS 2019/2020
• Funktionale Programmierung WS 2018/2019
• Funktionale Programmierung WS 2017/2018
• Funktionale Programmierung WS 2016/2017
• Funktionale Programmierung WS 2015/2016
• Funktionale Programmierung WS 2014/2015
• Funktionale Programmierung WS 2013/2014
• Funktionale Programmierung WS 2012/2013
• Funktionale Programmierung WS 2011/2012
• Funktionale Programmierung WS 2010/2011
• Funktionale Programmierung WS 2009/2010
• Funktionale Programmierung WS 2008/2009
• Funktionale Programmierung WS 2007/2008
• Funktionale Programmierung WS 2006/2007
• Funktionale Programmierung WS 2005/2006
• Funktionale Programmierung WS 2004/2005
• Funktionale Programmierung WS 2003/2004

Weitere allgemeine Informationen

Inhalt

Die Vorlesung gibt eine Einführung in die Grundlagen und Konzepte funktionaler Programmierung. Dabei werden insbesondere die folgenden Prinzipien funktionaler Programmierung vorgestellt und behandelt:

• Programme als Systeme rekursiver Rechenvorschriften
• Ausdrücke, Ausdrucksauswertung, Auswertungsstrategien
• Funktionen, Funktionale, Rekursion
• Datenstrukturen, Module, Ein- und Ausgabe
• Muster, Monaden, Polymorphie
• Reflektive Programmierung
• ...

und die Umsetzung dieser Konzepte in Haskell.

Ziele

Die Teilnehmer sollen einen Überblick über die wichtigsten Konzepte funktionaler Programmiersprachen bekommen und lernen, diese Konzepte sinnvoll einzusetzen.

Vortragender

Jens Knoop.