| Functional Programming (VL) |
| Untertitel: |
| This course is part of the module: Functional Programming |
| Semester: |
| WiSe 23/24 |
| Veranstaltungstyp: |
| Vorlesung (Lehre) |
| Veranstaltungsnummer: |
| lv624_w23 |
| DozentIn: |
| Prof. Dr. Sibylle Renate Schupp, Ole Lübke, Daniel Rashedi |
| Beschreibung: |
- 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
|
| Leistungsnachweis: |
| 340 - Functional Programming<ul><li>340 - Functional Programming: Klausur schriftlich</li></ul><br>341 - Functional Programming<ul><li>340 - Functional Programming: Klausur schriftlich</li><li>841 - Functional Programming - Exercises: Excercises</li></ul> |
| ECTS-Kreditpunkte: |
| 2 |
| Weitere Informationen aus Stud.IP zu dieser Veranstaltung |
Heimatinstitut: Institut für Softwaresysteme (E-16)
In Stud.IP angemeldete Teilnehmer: 297
Anzahl der Postings im Stud.IP-Forum: 72
Anzahl der Dokumente im Stud.IP-Downloadbereich: 2
|
|
