| Functional Programming (VL) |
| Subtitle: |
| This course is part of the module: Functional Programming |
| Semester: |
| WiSe 23/24 |
| Course type: |
| Lecture |
| Course number: |
| lv624_w23 |
| Lecturer: |
| Prof. Dr. Sibylle Renate Schupp, Ole Lübke, Daniel Rashedi |
| 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
|
| Performance accreditation: |
| 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 credit points: |
| 2 |
| Stud.IP informationen about this course: |
Home institute: Institut für Softwaresysteme (E-16)
Registered participants in Stud.IP: 297
Postings: 72
Documents: 2
|
|
