Functional and Lifetime Programming

• 26 hrs lectures
• 12 hrs pc labs
• 14 hrs projects

• 60 pts final exam (written part)
• 20 pts mid-term test (written part)
• 20 pts projects

Obtaining a basic knowledge and practical experience in functional programming and programming in language rust. Introduction into formal concepts used as a theoretical basis for both paradigms.

Students will get basic knowledge and practical experience in functional programming (the important representative of declarative programming). Moreover, they will get basic information about theoretical basis of the functional paradigm and implementation techniques.

Use and understanding of recursion for expression of algorithms.

Working with data lifetime and owner principles to achieve maximum performance in a compiled programming language with fully automatic and deterministic memory management.

Methods of processing (analysis, evaluation/interpretation/translation) of programming languages, basic concepts and experience with programming languages and their use.

• Podklady k přednáškám (slajdy, ukázky, ...)
• Thompson, S.: Haskell, The Craft of Functional Programming, ADDISON-WESLEY, 1999, ISBN 0-201-34275-8
• Jones, S.P.: Haskell 98 Language and Libraries, Cambridge University Press, 2003, p. 272, ISBN 0521826144
• Bieliková, M., Návrat, P.: Funkcionálne a logické programovanie, Vydavateĺstvo STU, Vazovova 5, Bratislava, 2000.
• Klabnik, S., Nichols, C., Krycho, C., et al: The Rust Programming Language, Online, 2025, dostupné z: https://doc.rust-lang.org/book/ . [citováno 2025-12-04]

• Lipovača, M.: Learn You a Haskell for Great Good!, No Starch Press, 2011, ISBN-13: 978-1-59327-283-8

• Klabnik, S., Nichols, C., Krycho, C., et al: The Rust Programming Language, Online, 2025, dostupné z: https://doc.rust-lang.org/book/ . [citováno 2025-12-04]

1. Introduction to functional programming
2. Lambda calculus
3. Programming language Haskell, introduction, lists
4. User-defined data types, type classes, and arrays in Haskell
5. Input/Output in Haskell - type classes IO and Monad
6. Proofs in functional programming
7. Denotational semantics, implementation of functional languages
8. Rust, introduction, shadowing, compound types
9. Control flow, ownership
10. Slices, data structures
11. Packages, built-in collections
12. Errors, generic types
13. Lifetime, discussion, conclusion

1. Haskell - basic language features, recursion, lists, partial application, higher-order functions (map, filter, foldX), infinite lists, partial evaluation
2. Haskell - data types, monads, I/O
3. Haskell - demonstration - construction of a simple interpreter using library Parsec
4. Rust - cargo, shadowing, compound types, control flow, slices
5. Rust - data structures, packages, built-in collections
6. Rust - generic types, lifetime

1. A simple program in Haskell programming language (Hugs, GHC, GHCi).
2. A simple program in Rust (cargo).

• Mid-term exam, for which there is only one schedule and, thus, there is no possibility to have another trial.
• Two projects should be solved and delivered in a given date during a term.

• Mid-term exam - written form, questions and exercises to be answered and solved, no possibility to have a second/alternative trial - 20 points.
• Projects realization - 2 projects, implementation of a simple program according to the given specification - one in a functional programming language the other in the programming language rust - 20 points all projects together.
• Final exam - written form, questions and exercises to be answered and solved, 2 another corrections trials possible (60 points - the minimal number of points which can be obtained from the final exam is 25, otherwise, no points will be assigned to a student).