Advanced Programming, MSc CS (Autumn 2024)
Official course description, subject to change:
Course info
Programme
Staff
Course semester
Exam
Abstract
This course addresses advanced programming techniques, with a special attention on functional programming and its applications. The course is a perfect balance of theory and practice, with focus on the Scala programming language.
Description
The student who passes this course will know relevant advanced programming techniques for designing, testing and executing challenging realistic programs in Scala, in a correct and efficient way. Such techniques, although learned in the Scala programming language, are relevant for many other mainstream programming languages used in industry.
- Introduction to Scala 3
- Property-based testing
- Monads and streams
- Call-by-name and lazy programming
- Immutable data-structures
- Purely functional parallel programming
- Examples of purely functional data structures and
algorithms
- Functional probabilistic programming
Formal prerequisites
Important: Advanced Programming builds on basic functional programming including higher-order functions, anonymous functions (or lambdas, delegates or anonymous inner classes), side-effect-free programming, generic types, and methods. This can be obtained by following Functional Programming on BSWU or KSD.
You should know basic concepts of programming language theory and implementation (for instance by having followed Programmer som Data or Programming Language Concepts and Implementation)
You should also be able to program in Java (You will survive the course if you can program well in C# or any other mainstream object-oriented language, but your experience may be steeper).
You should know basic discrete
mathematics (sets, functions, relations).
You should know basic algorithms and data structures (sorting, searching, collection data structures and basics of algorithms complexity).
Note for SD
students:
It is important that SD
students have taken the course Functional Programming before entering Advanced
Programming.
Note for
new KCS-students:
Upon admission we check that you have some basic knowledge
of functional programming; however, if you find that functional programming is
a challenge, you should visit StudyLab and the teaching assistants will be
happy to assist you.
Intended learning outcomes
After the course, the student should be able to:
- Design, test and execute functional programs in Scala
- Use expressive types (polymorphism, type functions, higher-kinded types) to document library interfaces
- Recognize monadic structures in computation, use libraries following monadic structure and design monadic libraries
- Reason about eager and lazy evaluation, including advantages and disadvantages of either
- Reason about API designs in pure and stateful style, including exploring various designs and considering advantages and disadvantages of either
- Use eager and lazy evaluation to design data structures and benefit from existing lazy data structures such as streams
- Implement solutions based on research-based methods presented in relevant papers in library and language design
- Design and implement solutions using lenses, reason about lenses
Ordinary exam
Exam type:A: Written exam on premises, External (7-point scale)
Exam variation:
A11: Written exam on premises. Open book exam.