IT-Universitetet i København
 
  Tilbage Kursusoversigt
Kursusbeskrivelse
Kursusnavn (dansk):Advanced Programming, MSc CS 
Kursusnavn (engelsk):Advanced Programming, MSc CS 
Semester:Efterår 2018 
Udbydes under:cand. it, datalogi (k-cs) 
Omfang i ECTS:7,50 
Kursussprog:Engelsk 
Kursushjemmeside:https://learnit.itu.dk 
Min. antal deltagere:
Forventet antal deltagere:
Maks. antal deltagere:115 
Formelle forudsætninger:- You can 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 know basic functional programming including higher order
functions, anonymous functions (or lambdas, delegates or
anonymous inner classes), side-effect-free programming,
generic types and methods

- You know basic algorithms and data structures (sorting,
searching, collection data structures and basics of
algorithms complexity)

- You know basic discrete mathematics (sets, functions,
relations)

- You have followed an introductory course on programming
languages

The above 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.). If
you have followed all these courses you are well qualified. 
Læringsmål:- 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 
Fagligt indhold:Content:
- 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 
Læringsaktiviteter:

14 ugers undervisning bestående af forelæsninger og øvelser

Weekly lectures and exercises plus 2 mini projects. 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. However 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. 

Obligatoriske aktivititer:Two mandatory mini-projects in two person groups graded pass/fail. Both mini-projects must be graded pass for exam qualification. More-over you have to complete all home-works before the exam, also in two person groups (Home works are not graded, but you must hand-in your solutions to demonstrate that you worked on them; Handing in solutions prepared by other groups is not acceptable).

Homework assignments are published weekly. There will be two mini projects, one roughly mid semester, and one towards the end.
If you missed the deadline for home works, or failed/missed a mini-project(s), there will be a resubmission deadline about 2 weeks before the exam.

Be aware: 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. 
Eksamensform og -beskrivelse:A11: Skriftlig eksamen (stedprøve) med adgang til internet, skriftlige og trykte hjælpemidler., (7-scale, external exam)

Duration of exam: 4 hours

The same set of questions as for professional Master students, plus additional one concerning the intened learning outcome: "Design and implement solutions using lenses, reason about lenses"