Modulbeschreibung
Functional Programming
Kurzzeichen:
Durchführungszeitraum:
ECTS-Punkte:
Lernziele:
All participants are able to explain and apply formal programming-language-based techniques for the construction and verification of computer programs. Special emphasis will be made on techniques that surpass some of the limitations of mainstream programming in the imperative object oriented programming style, and on alternatives to mainstream verification using unit testing.
In particular, all participants should be able to:
- construct programs in the functional style.
- verify the correctness of programs using property-based testing and proof.
- explain the formal foundations of the techniques covered.
The functional programming language Haskell will be used as a basis whenever appropriate.
Verantwortliche Person:
Standort (angeboten):
Empfohlene Module:
Zusätzlich vorausgesetzte Kenntnisse:
Englisch-Kenntnisse
(Dieses Modul wird auf Englisch durchgeführt.)
Skriptablage:
Modultyp:
ECTS-Punkte pro Kategorie
Modulbewertung
Bewertungsart:
Leistungsbewertung
Während der Prüfungssession:
Zulassungsbedingungen zur Prüfung:
The successful completion and submission of individual exercises or projects.
Gewichtung:
Bemerkungen:
Attendance in the exercise sessions is required in order to demonstrate and answer questions about the "testat" exercises and projects.
Kurse in diesem Modul
Functional Programming
Kurzzeichen:
Lernziele:
Refer to the learning goals for the module.
Plan und Lerninhalt:
Functional programming (Haskell):
- Referential transparency
- Functions as first-class citizens
- Higher-order functions
- Algebraic datatypes
- Pattern matching
- Recursion
- List comprehension
- Types & type inference
- Type classes – functors, applicative, monads
Verification:
- Property-based testing (Quickcheck)
- Proving program correctness
Formal foundations:
- Lambda calculus
Additional topics will be covered, depending on student interest and the time available. Here are some examples of such topics covered in the past:
- Logic programming
- Formal proof
- Type systems
- Dependent types
This course will be taught in English.
Unterrichtssprache:
Bibliographie:
It is required that each participant have access to "Programming in Haskell" 2ed by Graham Hutton. Other material custom made for the course will be made available during its execution.
Semesterbewertung:
Taking part in the exam requires the successful completion and submission of individual "testat" exercises or projects. Attendance in the exercise sessions is required in order to demonstrate and answer questions about the "testat" exercises and projects.
Bewertungsart:
Kursart:
(Durchführung gemäss Stundenplan)