Official course description:

Full info last published 13/01-21
Course info
Language:
English
ECTS points:
7.5
Course code:
KSADPRO2KU
Participants max:
106
Offered to guest students:
yes
Offered to exchange students:
-
Offered as a single subject:
yes
Price for EU/EEA citizens (Single Subject):
10625 DKK
Programme
Level:
MSc. Master
Programme:
MSc in Computer Science
Staff
Course manager
Full Professor
Teacher
PhD student
Course semester
Semester
Efterår 2020
Start
24 August 2020
End
31 January 2021
Exam
Exam type
ordinær
Internal/External
ekstern censur
Grade Scale
7-trinsskala
Exam Language
GB
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 
  • Property-based testing 
  • Monads and streams 
  • Call-by-name and lazy programming 
  • Immutable data-structures 
  • Purely functional parallel programming 
  • Finger trees 
  • Lenses and data synchronization  
  • Functional probabilistic programming

Formal prerequisites
  • The main prerequisite that Advanced Programming builds on is  the 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 the course Functional Programming (BSWU or K-SDT).

The following, somewhat less critical, competences can be obtained by following an introductory programming course, an introductory algorithms course and a course on programming languages ('Programmer som Data' or 'Programming Language Concepts and Implementation' or equivalent.)

  • You should also be able to program in Java (You will survive the course if you can program well in C# or any other main stream object-oriented language, but your experience may be steeper)
  • You should know basic algorithms and data structures (sorting, searching, collection data structures and basics of algorithms complexity)
  • You should know basic discrete mathematics (sets, functions, relations)
  •  You have followed an introductory course on programming languages.

Note for SD students: You may not meet the prerequisites for this course. Preferably contact Søren Debois (debois@itu.dk) before enrolling.

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
Learning activities

We organize  weekly lectures and exercises, as well as some warm-up pre-course activities, and extra homework help (ADPRO Cafe).

In the exercises (and the associated homework exercises) you learn to test and design functional programs in Scala, with a particular emphasis on API and library design.

The lectures provide an overarching reflection over the patterns and techniques used, as well as they prepare you for solving the exercises.

Most time is spent on small practical exercises and projects, resembling the exam questions. Training building solutions based on research happens by reading research papers and implementing programs based on them.  We use the study of the paper on Lenses to experience mathematical modeling and formal reasoning about practical programming tasks.

Mandatory activities

You have to complete and pass 5 out of 10 home works in order to be admitted to the exam. Home-works are handed-in in two-person groups.

The handins must show a genuine and original effort towards solving the problems, but handing in incomplete solutions is permitted. The code handed in must compile (we reserve the right to fail solutions that do not compile).  If you cannot complete some code, comment out the parts that make the compiler fail.

Handing in solutions prepared by other groups is not acceptable, and will be reported to the university.

Homework assignments are published approximately weekly.  If you missed a deadline for a handin, or failed it, you have a second chance  a week later, after the original deadline. 

The student will receive the grade NA (not approved) at the ordinary exam, if the mandatory activities are not approved and the student will use an exam attempt.

Course literature

Paul Chiusano. Runar Bjarnason. Functional Programming in Scala. Manning 2014

Student Activity Budget
Estimated distribution of learning activities for the typical student
  • Preparation for lectures and exercises: 20%
  • Lectures: 10%
  • Exercises: 10%
  • Assignments: 50%
  • Exam with preparation: 10%
Ordinary exam
Exam type:
C: Submission of written work, External (7-point scale)
Exam variation:
C22: Submission of written work – Take home
Exam submission description:
Exam duration: 4 hours.
All aids allowed, but no communication and collaboration allowed.

Random fraud control with Zoom, will be conducted right after the submission.
Student Affairs and Programmes will randomly select 20 % of students who will have to show up in Zoom to check authorship of submitted solutions.
The selection of students for fraud control will be published in LearnIT right after the exam together with a link to the Zoom meeting.
More information in LearnIT
Take home duration:
1 day

Time and date