| Obiective |
- understanding of the theory and practice of functional programming using the modern functional language Haskell.
- the ability to solve problems in and using functional programming
- the ability to utilise mathematics and formal methods
|
| Tematica generală | The course covers the following subjects: The Hugs system, Type information, Defining functions, List comprehensions, Recursive functions, Higher-order functions, Interactive programs, Functional parsers, Defining types, Lazy evaluation, Reasoning about programs. |
| Tematica seminariilor / laboratoarelor | The Hugs system, Programming in Haskell, Defining functions, Recursive functions, Higher-order functions, Interactive programs, 2 individual projects. |
| Metode de predare | Transparences and video projector. |